Fundamentos de Lógica y Computabilidad: Validez, Satisfacibilidad y Teorema de Rice
Enviado por Chuletator online y clasificado en Matemáticas
Escrito el en
español con un tamaño de 7,36 KB
Conceptos Fundamentales de Lógica Proposicional
Validez y Satisfacibilidad de Fórmulas
Sabemos que la fórmula $ \sim F \lor G $ no es válida. Esto significa que la fórmula $ \sim F \lor G $ es falsa bajo alguna interpretación. Por lo tanto, existe alguna interpretación bajo la que la fórmula $ F $ es verdadera y la fórmula $ G $ es falsa.
Es seguro que $ F $ es satisfacible, ya que existe al menos una interpretación que la hace verdadera. Y también es seguro que $ G $ no es válida, puesto que existe una interpretación que la hace falsa.
Razonamiento Lógico y Consecuencia
Consideremos la relación de consecuencia lógica: $ F \to G \models H $. Si $ G $ es satisfacible, podemos asegurar que $ H $ es satisfacible.
Un razonamiento correcto... Continuar leyendo "Fundamentos de Lógica y Computabilidad: Validez, Satisfacibilidad y Teorema de Rice" »
catalán con un tamaño de 3,65 KB