LÓGICA MATEMÁTICA

Jeison Cevallos

1). P↔P

#C= 2n p p p↔p
v v V
#C= 21
f f V
#C= 2

2). P→P
p p p→p
n
#C= 2 v v V
f f V
#C= 21

#C= 2

3). (PɅP”)
p P” (pɅp”) (pɅp”)”
#C= 2n V f f v
f V f v
#C= 21

#C= 2

4). (PVP”) p p P V P”
v f V
#C= 2n
f v V
#C= 21
#C= 2

5). (PVP”)”
p P” (pɅp”) (pɅp”)”
n V f v f
#C= 2
f V v f
#C= 21

#C= 2

6). P↔P”
p P” p” p↔x
#C= 2 n V f v v
f V f v
#C= 21

#C= 2

7). ¬ (PɅ¬P)
p P (p˄¬p) (p˄¬p)
#C= 2n
V F F V
#C= 21
F V F V
#C= 2

8). (PɅQ)→P
p q pɅq x→y
n
#C= 2 v V V V
V F F V
#C= 22 F V F V
F f F V
#C= 4
9). (PɅQ)→Q
p q p˄q X→ Y
n
#C= 2 V V V V
V F F V
#C= 22
F V F V
#C= 4 F F F V

10). P→(PVQ)
p q pvq x→y
v V V V
#C= 2n
V F V V
F V v V
#C= 22
F f F V
#C= 4

11). (PɅQ)↔(QɅP)
p q pɅq qɅp x↔y
n
#C= 2 V V V v V
V F F F V
#C= 22 F V F F V
f f f F v
#C= 4

12). (PVQ)↔(QVP)

#C= 2n

#C= 22

#C= 4

p q Pvq qvp x↔y

V V V v V
V F V V V
 F V V v V
f f F F v

13). (P↔Q)↔(Q↔P)
p q p↔q q↔p x↔y
#C= 2n V V V v V
V F F F V
#C= 22
F V F F V
f f v v v
#C= 4

14). [(PɅQ)Ʌr] ↔ [PɅ(QɅr)]

#C= 2n P q r pɅq qɅp pɅb x↔y

V V V V V V V
#C= 23 V V F V F F V
V F V F F F V
#C= 8
V F F F F F V
F V V F F F V
F V F F F F V
F F V F F F V
f f F f F f v

15). [(PVQ) V r ] ↔ [PV(QVr)]

#C= 2n
p q r pvq qvr rvq pvb x↔y
#C= 23 V V V V v V v v
V V F V V V V V
#C= 8 V F V V V V V V
V F F V V F V V
F V V V V V V V
F V F V V V V V
F F V F V V V V
f f F f F f F V
16). [(PVQ) V r ] ↔ [P V (QVr)]

a b

#C= 2n
p q r p↔q a↔r q↔r p↔b x↔y
3
#C= 2 V V V V v V v v
V V F V F F F V
#C= 8 V F V F F F F V
V F F F V V V V
F V V F F V F V
F V F F V F V V
F F V V V F V V
f f F V F V F V

17). [PɅ(QVr) ] ↔ [(P Ʌ Q) v (PɅr)]

a b c

#C= 2n
p q r qVr pɅa pɅq pɅr bvc x↔y
3
#C= 2 V V V V v V v V v
V V F V V V F V V
#C= 8 V F V v V F V V V
V F F F F F F F V
F V V V F F F F V
F V F v F F F F V
F F V V f F f F V
f f F f F f F f V

18). [P v (QɅr) ] ↔ [(P Ʌ Q) Ʌ (PVr)]

a b c

#C= 2n
p q r qɅr pva pvq pvr bɅc x↔y
#C= 23 V V V V v V v V v
V V F F V V v V V
#C= 8 V F V f V V V V V
V F F F v V V V V
F V V V V V V V V
F V F F F v F F V
F F V f f F V F V
f f F f F f F f V
19). [P → (QɅr) ] ↔ [(P → Q) Ʌ (P→r)]

a b c

#C= 2n
p q r qɅr p→a p→q p→r bɅc x↔y
3 V V V V v V v V v
#C= 2
V V F F F V F F V
#C= 8 V F V f F F V F V
V F F F f F F F V
F V V V V V V V V
F V F F V V v V V
F F V f V V V V V
f f F f v v V v V

20). [P → (Qvr) ] ↔ [(P → Q) v (P→r)]

a b c

#C= 2n p q r qvr p→a p→q p→r bvc x↔y

V V V V v V v V v
#C= 23 V V F V V V F V V
V F V V V F V V V
#C= 8
V F F F F F F F V
F V V V V V V V V
F V F V V V v V V
F F V v V V V V V
f f F f v v V v V

21). [(P→Q) Ʌ (Q→r)] → (P→r)

a b

#C= 2n
p q r p→q q→r aɅb p→r x→y
3
#C= 2 V V V V v V v v
V V F V F F F V
#C= 8 V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V v V V V V
f f F V v v v V
22). [(P↔Q) Ʌ (Q↔r)] → (P↔r)

a b

#C= 2n
p q r p↔q q↔r aɅb p↔r x→y
3 V V V V v V v v
#C= 2
V V F V F F F V
#C= 8 V F V F F F V V
V F F F V F F V
F V V F V f f V
F V F f F F V V
F F V v f f f V
f f F V v v v V

23). [(P ˅ Q) ˄ (P → r) ˄ (Q→ r)]

#C= 2n
p q r p˅ p→ q→ a˄ b˄ d˄e x →y
#C= 23 q r r b c
V V V V V V V V V V
#C= 8 V V F V F F F F F V
V F V V V V V V V V
V F F V F V F F F V
F V V V V V V V V V
F V F V V F V F F V
F F V V V V V V V V
F F F F V V F V F V

24). [(PɅ Q) → r] → [(P→ (Q→ r)]

#C= 2n

#C= 23 p q r P˄q a→ r q →r p →b x→ y
V V V V V V V V
#C= 8
V V F V F F F V
V F V F V V V V
V F F F V V V V
F V V F V V V V
F V F F V F V V
F F V F V V V V
F F F F V V V V
25). [(P → Q) → (¬Q→ ¬P)]

#C= 2n
p q pˈ qˈ p →q qˈ → pˈ x ↔ y
2
#C= 2
V V F F V V V
#C= 4
V F F V F F V

F V V F V V V

F F V V V V V

26). [(p → q) Ʌ p] →q

#C= 2n

#C= 22 p q p→ q aɅp X→ Y

#C= 4 V V V V V

V F F F V

F V V F V

F F V F V

27). [(P→Q) Ʌ ¬Q] → ¬P

#C= 2n
p q pˈ qˈ p→q a ˄ qˈ X →Y
#C= 22
V V F F V F V
#C= 4 V F F V F F V
F V V F V F V
F F V V V V V
28). [(p ˅ q) ˄ ¬p] → q

#C= 2n
p q pˈ p˅q a ˄ pˈ x→y
#C= 22
V V F V F V
#C= 4 V F F V F V
F V V V V V
F F V F F V

29) ¬ (P V Q) ↔ (¬P Ʌ ¬Q)

#C= 2n
p q pˈ qˈ p˅q (p ˅ q)ˈ ¬p ˄ ¬q a↔b
2
#C= 2 V V F F V F F V
#C= 4 V F F V V F F V
F V V F V F F V
F F V V F V V V

30). (P→Q)↔(PɅQ”)

#C= 2n

#C= 22 p q q p→q pɅq” (pɅq”)” x↔y

”
#C= 4 V V F V F V v
V F V F V F V
F V F V F V V
f f v v f v V

31). [(P→Q) Ʌ Q)] → Q

#C= 2n p q p→q aɅq x→y

V V V V V
#C= 22 V F F F V
F V V V V
#C= 4 f f v f v
32). [(P→Q) Ʌ Q)] →P

#C= 2n p q p" p" p→q aɅq x→y

V V V F V
#C= 22
V F F F V
#C= 4 F V V F V
f f v V v