Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mari Compu 1
Mari Compu 1
Curso: Computación II
p^q
Disyunción
Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de
verdad. Nos dice si una fórmula es factible. Si un razonamiento es válido o no.
Constituye un procedimiento de decisión que en un número finito de pasos nos dice
si una fórmula es una tautología o no.
Los conectivos lógicos más utilizados son "no", "y", "o", "si, entonces" y "si y solo si".
Según el conectivo lógico que se use, la proposición compuesta se denomina
negación, conjunción, disyunción, condicional o bicondicional