Talk:Mathematical Proof/Logic

Quantifiers
I am curious as to why quantifiers aren't in this section, as apposed to in the notation section.

MikeRumex: I agree quantifiers should be explained here.

And
I don't like the example "I like cheesecake and broccoli" in the explanation for 'and'. The word 'I' makes it personal and therefore ambiguous.

Mistake in the implications part
The implication arrows in the first line after the implications section has the arrows reversed for the "if" and "only if" directions. That might confuse people.
 * I agree it is confusing - but I don't think it is actually wrong. The word-based explanations are inconsistent though. If you are writing P => Q as "if P then Q", then it would be more consistent to write P <= Q as "only if P then Q". Alternatively you could write P => Q as "Q if P" and write P <= Q as "Q only if P". Recent Runes (talk) 16:52, 21 April 2010 (UTC)

Wrong arrow direction?
Is the arrow direction in the "Necessary" topic correct? Since it states the exact same thing as in the "Sufficient" topic...