PHILOS 31 Lecture Notes - Lecture 12: Logical Biconditional
Document Summary
Only those pirates who have problems pillage and plunder. Among all pirates, those who pillage and plunder must have problems: parrots who have problems either proffer profanities or pick pockets, but not both. X(gx^fx) ^ x(fx^gx nx): some parrots are pirates, but only those that are pugnacious. Only those that are pugnacious; only parrots that are pirates are pugnacious. If they can vote, they must be a citizen. As long as every variable is bound, it doesn"t matter what variable you use: every sentence letter is a sentence, if p and q are sentences. If p then q: p does not have to be q to be true. Q can be true due to other reasons. If p then q therefore p q. Only if o, p then p q. Some wizard warlocks wheeze and some witches warble but any non-witch is a whistler.