TABLAS LIGICAS

p q p→q ∼q (p→q)∧∼q
V V V F F
V F F V F
F V V F F
F F V V V

p q ∼q (∼q→p) ∼(∼q→p)
V V F V F
V F V V F
F V F V F
F F V F V

p q r (p∨r) (p∨r)∧q
V V V V V
V V F V V
V F V V F
V F F V F
F V V V V
F V F F F
F F V V F
F F F F F

p q ∼q (p→∼q) ∼p
V V F F F
V F V V F
F V F V V
F F V V V

p q ∼q ∼p (∼q→∼p)
V V F F V
V F V F F
F V F V V
F F V V V

p q ∼q (p→∼q) (p∧q)
V V F F V
V F V V F
F V F V F
F F V V F
p∨[(p→q)∧∼q]
V
V
F
V

(p∨∼q) ∼p [(p∨∼q)∧∼p)] ∼(∼q→p)∆[(p∨∼q)∧∼p)

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

∼[(p∨r)∧q]→[(∼q∧p)∆r
∼[(p∨r)∧q] ∼q (∼q∧p) [(∼q∧p)∆r] ]
F F F V V
F F F F V
V V V F F
V V V V V
F F F V V
V F F V V
V V F F F
V V F V V

(∼p∨q) ∼(∼p∨q) [∼(∼p∨q)↔∼q)] (p→∼q)∧[∼(∼p∨q)↔∼q)]

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

(p→q) (∼q→∼p)↔(p→q)
V V
F V
V V
V V

∼p (∼p∨q) [p∧(∼p∨q)] (p∧q)∨[p∧(∼p∨q)] ∼{(p∧q)∨[p∧(∼p∨q)]}

F V V V F
F F F F V
V V F F V
V V F F V
(p→∼q)↔∼{(p∧q)∨[p∧(∼p∨q)]}
V
V
V
V