Professional Documents
Culture Documents
BSPH 1D
Assessment task 2
P: Paul is happy.
Q: Queenie is happy.
STATEMENTS FORMALIZE
Both Paul and Queenie are happy. p^q
Paul plays the guitar provided that he is r→p
happy.
If Paul is happy and plays the guitar, then (p^r) → ~ q
Queenie is not happy.
p^(~q)
p q ~q p^(~q)
F F T T
F T F F
T F T F
T T F T
[p~q]˅[(~p)˅q]
F F T F T T
F T T F T T
T F F T F T
T T F F T T
~(p˅~q) ˅p
F F T F F
F T F T T
T F T F T
T T T F T