TABLAS DE VERDAD

En la clase del Jueves día 1 de Marzo, el profesor explicó las tablas de verdad del cálculo de deducción para los cinco términos de enlaces proposicionales, del tema de Lógica (suponiendo que 1 = verdadero, y 0 = falso):



Negador (no)

p ¬p
______

1-0
0-1




Conjuntor (y)

p Λ q
_______

1-1-1
1-0-0
0-0-1
0-0-0



Disyuntor (o)

p Λ q
_______

1-1-1
1-1-0
0-1-1
0-0-0



Condicionador
(si_entonces_)

p → q
_______

1-1-1
1-0-0
0-1-1
0-1-0



Doble condicionador
(si, y solo si_entonces_)

p ↔ q
_______
1-1-1
1-0-0
0-0-1
0-1-0



El número de posibles combinaciones de valores de verdad dependerá del número de proposiciones, siguiendo la regla 2 elevado a n, donde n es el número de proposiciones.


A continuación hicimos un ejemplo práctico sobre esta teoría:

.....3.....2.....1..
[(p → q) Λ p] → q

..1..1.1..1..1..1.1

..1..0.0.0..1..1.0

..0..1.1..1..0..1.1

..0..1.0.0..0..1.0




Por último, el profesor explicó los tipos de enunciados:

·Enunciados tautológicos (tautología): en que todos los valores son verdaderos.

·Enunciados contradictorios (contradicción): en que todos los valores son falsos.

·Enunciados indeterminados (indeterminación): en que se produce una combinación de ambos valores (verdaderos y falsos).


El ejemplo descrito anteriormente, presenta un enunciado tautológico, ya que todos sus valores finales han resultado verdaderos.


Jaime García-Ceballos San Martín