sistema de produccion

Tabla de verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.1Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

Validez(lógica)
En lógica, la validez es una propiedad que tienen los argumentos cuando las premisas implican la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se dice que elargumento es deductivamente válido. Algunos consideran estas dos nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo, consideran que puede haber argumentos válidos que no seandeductivamente válidos, como las inducciones. En cualquier caso, de las inducciones a veces se dice que son buenas o malas, en vez de válidas o inválidas.

Ejemplos de argumentos deductivamente válidosson los siguientes:

Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Si no es lunes, entonces es martes.
No es lunes.
Por lo tanto, es martes.
Todos los planetasgiran alrededor del Sol.
Marte es un planeta.
Por lo tanto, Marte gira alrededor del Sol.
Nótese que para que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusiónsean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal establece únicamente una relación condicional entre las premisas y la conclusión. Estoes: que si las premisas son verdaderas, entonces la conclusión también lo es (esta es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la conclusión seadeducible de las premisas conforme a las reglas de un sistema lógico (esta es la caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser válido, tiene premisas...