Posted by Larry Hoover on December 2, 2005, at 13:49:43 [reposted on December 3, 2005, at 14:38:52 | original URL]
In reply to Re: ...addendum, posted by linkadge on December 2, 2005, at 11:17:23
> There is an implication statement being made.
>
> p = I think I am smarter than my doctor
> q = All here thinks himself smarter than
> his doctor.
>
> Statement p -> q.
>
> To proove false, simply disprove contrapositive arguement.
>
> Ie show. Not q -/-> Not p
>
> Where not q, is shown by the existence of a memeber that doesn't think himself smarter than his doctor. Yet dispite this, p still holds.
>
> Hence we have shown.
>
> Not q -/-> Not p
>
> Which implies
>
> p -/-> q
>
>
>
> LinkadgeYa, but he didn't say 'all'. That's what I was getting at when I said his use of 'most' meant a single dispositive case did not falsify the argument. Most is an existential quantifier.
Lar
poster:Larry Hoover
thread:585017
URL: http://www.dr-bob.org/babble/social/20051203/msgs/585037.html