Logical Equivalences
CS is nifty and math is not nifty, or CS is nifty and math is nifty.
In symbols:
p
q
T
T
T
F
F
T
F
F
Conditional Statements
If you are a CS major, then you are smart.
p
q
p q
p q
T
T
hypothesis
(premise)
T
F
When is this statement false?
F
T
F
F
Is this statement true?
If the earth is flat, then the sky is green.
A vacuously true conditional statement: _____________________________________________
_____________________________________________________________________________
Conditional statements are false only when
Order of operations for evaluating expressions:
( )
ex. p q ∨ r
~
ex.
p ∧ ~ q r
CS610 Lecture 1p. 7