You are on page 1of 42

Biconditional - 2

CS-708 1
Truth Table for p <--> - 3

CS-708 2
Examples – 4a

CS-708 3
Examples – 4b

CS-708 4
p q = (p q) (q p) – 5a
v

CS-708 5
p q = (p q) (q p) – 5b
v

CS-708 6
p q = (p q) (q p) – 5c
v

– 5c

CS-708 7
p q = (p q) (q p) – 5
v

CS-708 8
Rephrasing Biconditional - 6

CS-708 9
Examples – 9

CS-708 10
Examples – 9a

CS-708 11
Examples – 9b

CS-708 12
Examples – 9c

CS-708 13
Truth table for (p q) (~q
~p) – 7a

CS-708 14
Truth table for (p q) (~q
~p) – 7b

CS-708 15
Truth table for (p q) (~q
~p) – 7c

CS-708 16
Truth table for (p q) (~q
~p) – 7

CS-708 17
(p q) (r q) – 8

CS-708 18
(p q) (r q) – 8b

CS-708 19
(p q) (r q) – 8c

CS-708 20
(p q) (r q) – 8d

CS-708 21
(p q) (r q) – 8

CS-708 22
v
p ~r q v r – 10

CS-708 23
v
p ~r q v r – 10b

CS-708 24
v
p ~r q v r – 10c

CS-708 25
v
p ~r q v r – 10d

CS-708 26
v
p ~r q v r – 10e

CS-708 27
Show that ~p q≡p ~q – 11a

CS-708 28
Show that ~p q≡p ~q – 11b

CS-708 29
Show that ~p q≡p ~q – 11

CS-708 30
Show that ~p q≡p ~q – 11c

CS-708 31
Show that ~(p + q) ≡ p q – 12b

CS-708 32
Show That - 1(4 - 2c)

CS-708 33
Show that ~(p + q) ≡ p q – 12d

CS-708 34
Show that ~(p + q) ≡ p q – 12

CS-708 35
Laws of Logic – 14

CS-708 36
Laws of Logic - 14a

CS-708 37
Application – 15

CS-708 38
Application – 15b

CS-708 39
Exercise - 17

CS-708 40
Exercise – 17a

CS-708 41
Exercise – 17b

CS-708 42

You might also like