Show that the negation of p q is p ∧ ~ q,
i.e.
~ (p q) ≡ p ∧ ~ q
p
q
p q
~ (p q)
T
T
T
F
F
T
F
F
p
q
~ q
p ∧ ~ q
T
T
T
F
F
T
F
F
Write negations of statements:
a) If P is a square, then P is a rectangle.
b) If n is prime, then n is odd or n is 2.
Statements related to the conditional p q :
Converse (flip):
Inverse (negate both p and q):
Which of these is logically equivalent to p
q ?
Contrapositive:
What is the logical meaning of only if ?
ex. You are having fun only if you are in the computer lab.
CS610 Lecture 1 p. 8