1.

- (p→q)↔(p^q)
p q (p → q) ↔  (p ^ q)

V V V V V V V V F F

V F V F F V F V V V

F V F V V V V F F F

F F F V F V V F F V

pasos 1 5 4 3 2

TAUTOLOGÍA
 2.- (p^q)∆(p^q)
p q (p ^ q) ∆ (p ^ q)

V V V V V V V F F

V F V F F V V V V

F V F F V F F F F

F F F F F F F F V

pasos 1 4 3 2

CONTINGENCI
A
 3.- (p v q)↔(q→p)
p q  (p v q) ↔ (q → p)

V V F F V V F F V F

V F V F F F F V F F

F V F V V V F F V V

F F F V V F F V V V

pasos 3 1 2 7 4 5 6

CONTRADICCI
ÓN
 4.-
p q r [(p → q) ^ (q → r)} → (P → r)

V V V V V V V V V V v V V V

V V F V V V F V F F V V F F

V F V V F F F F V V v V V V

V F F V F F F F V F v V F F

F V V F V V V V V V v F V V

F V F F V V F V F F v F V F

F F V F V F V F V V V F V V

F F F F V F V F V F V F V F

pasos 1 3 2 5 4

TAUTOLOGÍA
 5.- -[p→-(q ∨ r)]
p q r ~ [p → ~ (q ∨ r)]

V V V v v F F V V V

V V F v v F F V V F

V F V v v F F F V V

V F F F v V V F F F

F V V F F V F V V V

F V F F F V F V V F

F F V F F V F F V V

F F F F F V V F F F

pasos 4 3 2 1 CONTINGENCI
A
6.- (p → q ) ∨ ( q → -p )
p q (P → q) v (q → ~ p)

V V v V V V V F F

V F V F F V F V F

F V F V V V V V V

F F F V F V F V V

pasos 1 4 3 2

tautología
7.-(∼𝒑∧𝒒)→(∼𝒒∨𝒑)
p q (p ^ q) → (q v p)

V V F F V V F V V

V F F F F V V V V

F V V V V F F F F

F F V F F V V V F

pasos 1 2 5 3 4

CONTINGENCI
A
8.-[(p ↔ q)Δ(r→∼q)]∧-p
p q r [(p ↔ q) Δ (r → q)] ∧ -p

V V V V V V V V F F F F

V V F V V V F F V F F F

V F V V F F V V V V F F

V F F V F F V F V V F F

F V V F F V F V F F F V

F V F F F V V F V F V V

F F V F v F F V V v F V

F F F F v F F F V v F V

pasos 1 4 3 2 6 5 CONTINGENCI
A
9.-[(∼p ∧ q)∨r]→(∼q ∧ p)
p q r [(P ^ q) v r] → (q ^ p)

V V V F F V V V F F F V

V V F F F V F F V F F V

V F V f F F V V V V V V

V F F f F F F F V V V V

F V V V V V V V F F F F

F V F V V V V F F F F F

F F V V F F V V F V F F

F F F V F F F F V V F F

pasos 1 2 3 6 4 5

CONTINGENC
10.- [(p v q)∨(∼p v q)]v p

p q [ (p v q) v (~P v q)] v p
V V V V V V F V V V V
V F V V F V F F F V V
F V F V V V V V V V F
F F F F F V V V F V F

Pasos 1 4 2 3 6 5

Tautología
 11.- [p →(q ^ r )]↔[r^∼(q ∆ r)]
p q r [p → (q ^ r) ] ↔ [r ^ ~ (q Δ r)]
V V V V V V V V V V V V V F V
V V F V F V F F V F F F V V F
V F V V F F F V V V F F F V V
V F F V F F F F V F F V F F F
F V V F V V V V V V V V V F V
F V F F V V F F F F F F V V F
F F V F V F F V F V F F F V V
F F F F V F F F F F F V F F F
PASOS 2 1 6 5 4 3

CONTINGENC