mssl Flashcards
P ∨ Q:
P or Q. (Both P and Q might be true.)
Both P and Q. P when Q. P but Q. P although Q. P in addition to Q. P and moreover, Q.
P ∧ Q:
¬(P ∨ Q):
Neither P nor Q.
¬P ∨ ¬Q:
It is not the case that P or it is not the case that Q. (One or the other or both P and Q
could be false.)
¬(P ∧ Q)
It is not the case that both P and Q.(Only one the disjuncts could be true, or neither
could be true; one or the other or both P and Q could be false.)
¬P ∧ ¬Q:
It is not the case that P and it is not the case that Q. (This is equivalent to Neither P
nor Q.)
(P ∨ Q) ∧ ¬(P ∧ Q):
Either P or Q, but not both P and Q. (Only one or the other is true.)
If P, then Q.
P only if Q.
Q, if P.
Q, provided that P
P → Q:
P ↔ Q:
If P, then Q, and if Q, then P. P only if Q and Q only if P. Q if and only if (iff) P. P if and only if (iff) Q. P just in case Q. Q just in case P.
De morgan –(p∧q)
(–P v –Q)
De morgan –(P v Q)
(–P∧–Q)
Tautologically equivalent
if both the main connective columns are identical
Tautology
Only T’s under the main connective
TT possible
one row in the sentence comes out all true