Book 1
Book 1
˜(p ^ q)
p q p^q ~(p ^ q)
T T T F
T F F T
F T F T
F F F T
Property of Proposition: CONTINGENCY
˜(p↔q)v(q↔˜p)
→q)v(q
p q ~p p↔q q↔˜p ↔ ˜(p↔q)v(q↔˜p)
T T F T F T F
T F F F T T F
F T T F T T F
F F T T F T F
Property of Proposition: CONTRADICTION
p→(˜q ^ r)
p q r ~q (~q^r) p→(˜q ^ r)
T T T F F F
T T F F F F
T F T F F F
T F F F F F
F T T T F T
F T F T F T
F F T T T T
F F F T F T
Property of Proposition: CONTINGENCY.
˜q→(p v q)
p q ~q (p v q) ~q→(p v q)
T T F T T
T F T T T
F T F T T
F F T F F
Property of Proposition: CONTINGENCY.
(˜p→q)↔(r v s)
p q r s ~p (~p→q) (r v s) (˜p→q)↔(r v s)
T T T T F T T T
T T T F F T T T
T T F T F T T T
T T F F F T F F
T F T T F T T T
T F T F F T T T
T F F T F T T T
T F F F F T F F
F T T T T T T T
F T T F T T T T
F T F T T T T T
F T F F T T F F
F F T T T F T F
F F T F T F T F
F F F T T F T F
F F F F T F F T
Property of Proposition: CONTINGENCY.
pv(p^q)
p q p^q pv(p^q)
T T T T
T F F F
F T F T
F F F F
Property of Proposition: CONTINGENCY.
(pv˜p)→q
p q ~p p v ~p ~(pv˜p)→q
T T F T T
T F F T F
F T T T T
F F T T F
Property of Proposition: CONTINGENCY
˜(p→˜r)↔q
p q r ~r p→~r ~(p→~r) ~(p→~r)↔q
T T T F F T T
T T F T T F F
T F T F F T F
T F F T T F T
F T T F T F F
F T F T T F F
F F T F T F T
F F F T T F T
Property of Proposition: CONTINGENCY.
˜q→(˜p→q)
p q ~p (~p→q) ~q→(~p→q)
T T F T T
T F F T T
F T T T T
F F T F T
Property of Proposition: TAUTOLOGY.
˜(p v p)→˜q
p q (p v p) ~(p v p) ~q ~(p v p)→~q
T T T F F T
T F T F T T
F T T F F T
F F F T T T
Property of Proposition: TAUTOLOGY.
˜p↔˜q
p q ~p ~q ~p↔~q
T T F F T
T F F T F
F T T F F
F F T T T
Property of Proposition: CONTINGENCY.
(p^q)v(q^p)
p q (p^q) (q v p) (p^q)v(q^p)
T T T T T
T F F T T
F T F T T
F F F F F
Property of Proposition: CONTINGENCY.
˜(p→q)
p q (p→q) ~(p→q)
T T T F
T F F T
F T T F
F F T F
Property of Proposition: CONTINGENCY.
˜(˜q↔˜q)
p q ~p ~q (~q↔~q)~(~q↔~q)
T T F F T F
T F F T T F
F T T F T F
F F T T T F
Property of Proposition: CONTRADICTION
( p v ˜p)→˜p
p q ~p ( p v ~p) ( p v ~p)→~p
T T F T F
T F F T F
F T T T T
F F T T T
Property of Proposition: CONTINGENCY.
attach your group photo here as proof that you work collaboratively