Tablas de verdad y leyes de lgebra proposicionales

Neider Alberto Calderon

22/03/19

1 tautologas,contradicciones y contingencias
1.1 Ejemplo numero 3 Pagina 82
La f.b.f. : (¬(p →
− q)) ↔ (¬(p) →
− ¬ (q) )

¬ (p →
− q) ↔ (¬p →
− ¬q)
0 1 1 1 0 0 1 0
1 1 0 0 0 0 1 1
0 0 1 1 1 1 0 0
0 0 1 0 0 1 1 1

ES una contingencia.

1.2 Ejemplo numero 2 Pagina 83

→q) ∧ (¬p−
La formula : ((p− →q))−
→q

((p →
− q) ∧ (¬p →
− q)) →
− q
1 1 1 1 0 1 1 1 1
1 0 0 0 0 1 0 1 0
0 1 1 1 1 1 1 1 1
0 1 0 0 1 0 0 1 0

Es una tautologia.

1
2 Equivalencias lgicas
2.1 Ejemplo numero 4.7.1 Pagina 85
La f.b.f. : ¬(p ∧ q) ↔ (¬p →− ¬ q)
Usando las leyes de lgebra proposicional reescribimos la f.b.f asi(¬p →
− ¬ q) ↔ (¬p →
− ¬ q)
usando la ley de morgan en la primera parte de esta f.b.f.

((¬p →
− ¬q) ↔ (¬p →
− ¬q))
0 1 0 1 0 1 0
0 1 1 1 0 1 1
1 0 0 1 1 0 0
1 1 1 1 1 1 1

3 Leyes de lgebra proposicionales

3.1 Tabla de Leyes de lgebra proposicionales pagina 86.
Ley de dominacin : (P)∧ (0) ≡ (0)

(P ∧ 0)
1 0 0
1 0 0
0 0 0
0 0 0

Ley de dominacin : (P)∨ (1) ≡ (1)

(P ∨ 1)
1 1 1
1 1 1
0 1 1
0 1 1

2
 Ley de absorcin : (p)∧ ((p)∨ (q)) ≡ (p)

(P) ∧ (p ∨ q)
1 1 1 1 1
1 1 1 1 0
0 0 0 1 1
0 0 0 0 0

Ley de absorcin : (p)∨ ((p)∧ (q)) ≡ (p)

(P) ∧ (p ∨ q)
1 1 1 1 1
1 1 1 0 0
0 0 0 0 1
0 0 0 0 0

4 Conclusiones
El correcto uso de la lgebra proposicional puede ayudar a reducir la f.b.f adems de darnos a
conocer cuando pude haber una tautologa o una contricin con solo organizarla.

References
[1] Carlos Mora Espinosa,Julio Nieto Sanchez, Lgica matemtica, (Universidad central, Bo-
got,Colombia).