Una Tabla de Verdad representa los valores de verdad que puede tomar una proposición compuesta, en función de todos los posibles valores de verdad de las proposiciones simples que componen esta última.
Para encontrar el número de combinación de valores se aplica la fórmula 2^n → en dónde n es el número de variables 2^n= 2×1=2
«Negación»
Proposición qué es verdadera es falsa.
«Conjunción, "y lógico"» Dados
p,q;dos proposiciones lógicas, se construye su conjunción como (p∧q).Se lee: p y q.(p∧q)es verdadera si pyq son simultaneamente verdaderas. En los demás casos, es falsa. La conjunción posee la tabla de verdad.
«Disyunción inclusiva»
(p^q) presenta una disyunción es decir una alternativa entre dos enunciados puede ser inclusiva o exclusiva. Es verdadera si al menos una de las dos es verdadera.
«Disyunción exclusiva»
(p^-q) es falsa si ambos componentes son verdaderos o falsos.
«Condicional o implicación»
(p→q) expresa la condición que existe entre dos enunciados. La preposición es falsa solo en caso que el antecedente sea verdadero y él consecuente sea falso, en los demás es verdadero.
Bicondicional
(p←→q) Es verdadera cuando ambas proposiciones son verdaderas o falsas.
