TALLER DE LÓGICA MATEMÁTICA FUNDAMENTAL

ANDREA MORENO ZAPATA

DOCENTE: ALEXANDER GARCÍA ARIZA

UNIVERSIDAD POPULAR DEL CESAR

COMERCIO INTERNACIONAL

VALLEDUPAR

2018
 (p V q) ∧ ( p → q) indeterminación

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

[ ( p ∧ q ) V r ] ↔ [ p V (¬r → q)] indeterminación

p q r ¬q ¬r (p ∧ q) [ (p ∧ q) V r ] (¬r → q) [p V(¬r → q)] A↔B

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

¬ [ p → (q ∧ r )] es indeterminación

p q r (q ∧ r ) [ p → (q ∧ r )] ¬ [ p → (q ∧ r )]
V V V V V F
V V F F F V
V F V F F V
V F F F F V
F V V V V F
F V F F V F
F F V F V F
F F F F V F

r ∧ ¬ (p → q) indeterminación

P q r (p → q) ¬ (p → q) r ∧ ¬ (p → q)
V V V V F F
V V F V F F
V F V F V V
V F F F V F
F V V V F F
F V F V F F
F F V V F F
F F F V F F

[ ( p V q) ∧ (q V r) ] ↔ [ ¬ (q→p)]
indeterminación

p Q r (pVq) (q V r) ( p V q) ∧ (q V r) (q→p) ¬ (q→p) A↔B

V V V V V V V F F
V V F V V V V F F
V F V V V V V F F
V F F V F F V F V
F V V V V V F V V
F V F V V V F V V
F F V F V F V F V
F F F F F F V F V
 ( p V r ) ∧ ( p→ q) es indeterminación

P q r ( p V r) ( p →q ) ( p V r ) ∧ ( p→ q)
V V V V V V
V V F V V V
V F V V F F
V F F V F F
F V V V V V
F V F F V F
F F V V V V
F F F F V F

[( p ∧ q ) → ( q ↔ r)] ↔ [ (q → p)] es indeterminación

p Q r (p∧q) ( q ↔ r) [( p ∧ q ) → ( q ↔ r)] (q → p) A↔B

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

(¬ p → q) ↔ ¬ (p → q) indeterminación

p Q ¬p (¬ p → q) (p → q) ¬ (p → q) (¬ p → q) ↔ ¬ (p → q)
V V F V V F F
V F F V F V V
F V V V V F F
F F V F V F V

[ ( p ↔ q) → r ] ∧ [ p V ( r → q)] indeterminación

p Q r ( p ↔ q) ( p ↔ q) → r ( r → q) [ p V ( r → q)] A∧B
V V V V V V V V
V V F V F V V F
V F V F V F V V
V F F F V V V V
F V V F V V V V
F V F F V V V V
F F V V V F F F
F F F V F V V F

[ p → (¬q ↔ ¬ r )] indeterminación

p q r ¬q ¬r (¬q ↔ ¬ r ) [ p → (¬q ↔ ¬ r )]
V V V F F V V
V V F F V F F
V F V V F F F
V F F V V V V
F V V F F V V
F V F F V F V
F F V V F F V
F F F V V V V

¬r ∧ ¬ ( p V q ) indeterminación

p q r ¬r (pVq) ¬(pVq) ¬r ∧ ¬ ( p V q )
V V V F V F F
V V F V V F F
V F V F V F F
V F F V V F F
F V V F V F F
F V F V V F F
F F V F F V F
F F F V F V V
 [ ( p V r ) V (q ↔ r)] ↔ [ ¬ (s → p)] es indeterminación

p Q r s ( p V r) (q ↔ r) [(pVr)V (s → p) [¬(s → p)] A↔ B

(q ↔ r)]
V V V V V V V V F F
V V V F V V V V F F
V V F V V F V V F F
V V F F V F V V F F
V F V V V F V V F F
V F V F V F V V F F
V F F V V V V V F F
V F F F V V V V F F
F V V V V V V F V V
F V V F V V V V F F
F V F V F F F F V F
F V F F F F F V F F
F F V V V F V F V V
F F V F V F V V F F
F F F V F V V F V V
F F F F F V V V F F

(p V r) ∧ (¬ s → q) es indeterminación

p Q r s ¬s (p V r) (¬ s → q) (p V r) ∧ (¬ s → q)
V V V V F V V V
V V V F V V V V
V V F V F V V V
V V F F V V V V
V F V V F V V V
V F V F V V F F
V F F V F V V V
V F F F V V F F
F V V V F V V V
F V V F V V V V
F V F V F F V F
F V F F V F V F
F F V V F V V V
F F V F V V F F
F F F V F F V F
F F F F V F F F

[ ( p ∧ q) ∧ (s ↔ r)] ↔ [¬ (q → p)] es indeterminación

p q r s ( p ∧ q) (s ↔ r) [ ( p ∧ q) ∧ (s ↔ r)] (q → p) [¬ (q → p)] A↔ B
V V V V V V V V F F
V V V F V F F V F V
V V F V V F F V F V
V V F F V V V V F F
V F V V F V F V F V
V F V F F F F V F V
V F F V F F F V F V
V F F F F V F V F V
F V V V F V F F V F
F V V F F F F F V F
F V F V F F F F V F
F V F F F V F F V F
F F V V F V F V F V
F F V F F F F V F V
F F F V F F F V F V
F F F F F V F V F V