Cs610 Lecture 1 Symbolic Logic Examples And Worksheet Page 7

ADVERTISEMENT

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

ADVERTISEMENT

00 votes

Related Articles

Related forms

Related Categories

Parent category: Education