Biconditional 2 CS708 1 Truth Table for p
Biconditional - 2 CS-708 1
Truth Table for p <--> - 3 CS-708 2
Examples – 4 a CS-708 3
Examples – 4 b CS-708 4
q = (p q) (q v p CS-708 p) – 5 a 5
q = (p q) (q v p CS-708 p) – 5 b 6
q = (p q) (q v p p) – 5 c CS-708 7
q = (p q) (q v p CS-708 p) – 5 8
Rephrasing Biconditional - 6 CS-708 9
Examples – 9 CS-708 10
Examples – 9 a CS-708 11
Examples – 9 b CS-708 12
Examples – 9 c CS-708 13
Truth table for (p q) ~p) – 7 a CS-708 (~q 14
Truth table for (p q) ~p) – 7 b CS-708 (~q 15
Truth table for (p q) ~p) – 7 c CS-708 (~q 16
Truth table for (p q) ~p) – 7 CS-708 (~q 17
(p q) (r CS-708 q) – 8 18
(p q) (r CS-708 q) – 8 b 19
(p q) (r CS-708 q) – 8 c 20
(p q) (r CS-708 q) – 8 d 21
(p q) (r CS-708 q) – 8 22
p ~r q v r – 10 CS-708 23 v
p ~r q v r – 10 b CS-708 24 v
p ~r q v r – 10 c CS-708 25 v
p ~r q v r – 10 d CS-708 26 v
p ~r q v r – 10 e CS-708 27 v
Show that ~p q≡p CS-708 ~q – 11 a 28
Show that ~p q≡p CS-708 ~q – 11 b 29
Show that ~p q≡p CS-708 ~q – 11 30
Show that ~p q≡p CS-708 ~q – 11 c 31
Show that ~(p + q) ≡ p CS-708 q – 12 b 32
Show That - 1(4 - 2 c) CS-708 33
Show that ~(p + q) ≡ p CS-708 q – 12 d 34
Show that ~(p + q) ≡ p CS-708 q – 12 35
Laws of Logic – 14 CS-708 36
Laws of Logic - 14 a CS-708 37
Application – 15 CS-708 38
Application – 15 b CS-708 39
Exercise - 17 CS-708 40
Exercise – 17 a CS-708 41
Exercise – 17 b CS-708 42
- Slides: 42