Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 8

ADVERTISEMENT

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

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education