Biconditional - 2

9/25/2023 CS-103 1
 Truth Table for p <--> - 3

9/25/2023 CS-103 2
 Examples – 4a

9/25/2023 CS-103 3
 Examples – 4b

9/25/2023 CS-103 4
 p q = (p q) (q p) – 5a
v

9/25/2023 CS-103 5
 p q = (p q) (q p) – 5b
v

9/25/2023 CS-103 6
 p q = (p q) (q p) – 5c
v

– 5c

9/25/2023 CS-103 7
 p q = (p q) (q p) – 5
v

9/25/2023 CS-103 8
 Rephrasing Biconditional - 6

9/25/2023 CS-103 9
 Examples – 9

9/25/2023 CS-103 10
 Examples – 9a

9/25/2023 CS-103 11
 Examples – 9b

9/25/2023 CS-103 12
 Examples – 9c

9/25/2023 CS-103 13
 Truth table for (p q) (~q
~p) – 7a

9/25/2023 CS-103 14
 Truth table for (p q) (~q
~p) – 7b

9/25/2023 CS-103 15
 Truth table for (p q) (~q
~p) – 7c

9/25/2023 CS-103 16
 Truth table for (p q) (~q
~p) – 7

9/25/2023 CS-103 17
 (p q) (r q) – 8

9/25/2023 CS-103 18
 (p q) (r q) – 8b

9/25/2023 CS-103 19
 (p q) (r q) – 8c

9/25/2023 CS-103 20
 (p q) (r q) – 8d

9/25/2023 CS-103 21
 (p q) (r q) – 8

9/25/2023 CS-103 22
 q v r – 10
v
p ~r

9/25/2023 CS-103 23
 q v r – 10b
v
p ~r

9/25/2023 CS-103 24
 q v r – 10c
v
p ~r

9/25/2023 CS-103 25
 q v r – 10d
v
p ~r

9/25/2023 CS-103 26
 q v r – 10e
v
p ~r

9/25/2023 CS-103 27
 Show that ~p q≡p ~q – 11a

9/25/2023 CS-103 28
 Show that ~p q≡p ~q – 11b

9/25/2023 CS-103 29
 Show that ~p q≡p ~q – 11

9/25/2023 CS-103 30
 Show that ~p q≡p ~q – 11c

9/25/2023 CS-103 31
Show that ~(p + q) ≡ p q – 12b

9/25/2023 CS-103 32
 Show That - 1(4 - 2c)

9/25/2023 CS-103 33
Show that ~(p + q) ≡ p q – 12d

9/25/2023 CS-103 34
Show that ~(p + q) ≡ p q – 12

9/25/2023 CS-103 35
 Laws of Logic – 14

9/25/2023 CS-103 36
 Laws of Logic - 14a

9/25/2023 CS-103 37
 Application – 15

9/25/2023 CS-103 38
 Application – 15b

9/25/2023 CS-103 39
 Exercise - 17

9/25/2023 CS-103 40
 Exercise – 17a

9/25/2023 CS-103 41
 Exercise – 17b

9/25/2023 CS-103 42