Tablas de verdad
Orígenes:
Las tablas de verdad fueron creadas en 1880 por Charles Peirce, pero el formato que más usamos es el de Ludwig Wittgenstein que fuepublicado por Bertrand Russell en 1918. Estas se crearon para determinar los valores posibles de verdad en una expresión o en una proposición, detectar la clase de razonamiento lógico, para así decirsi el argumento es válido y puede formas una teoría o un teorema.
Para empezar quisiera mencionar los signos lógicos que existen:
¬: no
y
o
si… entonces
sí y sólo siTablas:
Conjunción: Si las componentes de la conjunción son ciertas, la conjunción es cierta. Asociamos dos proposiciones usando el conectivo lógico “y” formando una conjunción.Componente A
Componente B
AB
Cierta
Cierta
Cierta
Cierta
Falsa
Falsa
Falsa
Cierta
Falsa
Falsa
Falsa
Falsa
Disyunción: Solamente es falsa si los dos componentes lo son. Se usa elconectivo “o”.
Componente A
Componente B
AB
Cierta
Cierta
Cierta
Cierta
Falsa
Cierta
Falsa
Cierta
Cierta
Falsa
Falsa
Falsa
Implicación: Es falso cuando el antecedente es verdadero y laconsecuencia es falsa. Si hay verdad no puede seguir falsedad.
A
B
AB
Cierta
Cierta
Cierta
Cierta
Falso
Falso
Falso
Cierta
Cierta
Falso
Falso
Cierta
Conversa: Tomas por inicio B ydespués A entonces ya no sería la forma AB, sino que sería la forma BA. Se le puede llamar recíproca.
A
B
AB
BA
Cierta
Cierta
Cierta
Cierta
Cierta
Falso
Falso
Cierta
Falso
CiertaCierta
Falsa
Falso
Falso
Cierta
Cierta
Doble implicación: Solamente es cierto si nuestros componentes tienen el mismo valor de verdad o falsedad. Usamos el conectivo “sí y sólo si”
A
B
ABCierta
Cierta
Cierto
Cierto
Falso
Falso
Falso
Cierto
Falso
Falso
Falso
Cierto
Negación: El valor de verdad de la negación es el contrario de la proposición negada.
Negación de una...
Regístrate para leer el documento completo.