CS-708 1

Biconditional - 2

CS-708 2

Truth Table for p <--> - 3

CS-708 3

Examples – 4a

CS-708 4

Examples – 4b

CS-708 5

p q = (p q) (q p) – 5a

v

CS-708 6

p q = (p q) (q p) – 5b

v

CS-708 7

p q = (p q) (q p) – 5c

v

– 5c

CS-708 8

v

p q = (p q) (q p) – 5

CS-708 9

Rephrasing Biconditional - 6

CS-708 10

Examples – 9

CS-708 11

Examples – 9a

CS-708 12

Examples – 9b

CS-708 13

Examples – 9c

CS-708 14

Truth table for (p q) (~q ~p) – 7a

CS-708 15

Truth table for (p q) (~q ~p) – 7b

CS-708 16

Truth table for (p q) (~q ~p) – 7c

CS-708 17

Truth table for (p q) (~q ~p) – 7

CS-708 18

(p q) (r q) – 8

CS-708 19

(p q) (r q) – 8b

CS-708 20

(p q) (r q) – 8c

CS-708 21

(p q) (r q) – 8d

CS-708 22

(p q) (r q) – 8

CS-708 23

p ~ r q v r – 10

v

CS-708 24

p ~ r q v r – 10b

v

CS-708 25

p ~ r q v r – 10c

v

CS-708 26

p ~ r q v r – 10d

v

CS-708 27

p ~ r q v r – 10e

v

CS-708 28

Show that ~p q ≡ p ~q – 11a

CS-708 29

Show that ~p q ≡ p ~q – 11b

CS-708 30

Show that ~p q ≡ p ~q – 11

CS-708 31

Show that ~p q ≡ p ~q – 11c

CS-708 32

Show that ~(p + q) ≡ p q – 12b

CS-708 33

Show That - 1(4 - 2c)

CS-708 34

Show that ~(p + q) ≡ p q – 12d

CS-708 35

Show that ~(p + q) ≡ p q – 12

CS-708 36

Laws of Logic – 14

CS-708 37

Laws of Logic - 14a

CS-708 38

Application – 15

CS-708 39

Application – 15b

CS-708 40

Exercise - 17

CS-708 41

Exercise – 17a

CS-708 42

Exercise – 17b