Una fbf es satisfacible syss hay alguna interpretación que es verdadera (en que dicha fbf es satisfecha). En términos prácticos, una fbf A es satisfecha syss hay al menos una fila de su tabla de verdad que la hace verdadera, es decir, syss A es o bien una contingencia o una tautología, es decir, una fbf A es satisfecha syss A tiene un modelo.
La semántica es el estudio de la relación de los signos y sus fórmulas con sus contenidos y objetos extralingüísticos.
(v. fórmula)
Llamado también Modus Tollendo Ponens, que significa literalmente “modo que quitando (negando), pone (afirma)”. El silogismo disyuntivo es una implicación tautológica que afirma que si disponemos de una disyunción y además la negación de uno de sus miembros, entonces podemos inferir como conclusión el otro miembro de la disyunción de marras.
El silogismo disyuntivo tiene la siguiente forma lógica:
[(p∨q)∧(¬p)]→q
y también
[(p∨q)∧(¬q)]→p
Y sus argumentos correspondientes:
Referencias al texto:
La sintaxis estudia, en un lenguaje o sistema formal, las relaciones de unos signos y unas fórmulas con otros signos y otras fórmulas, y con independencia de lo que designan o significan.
Un sistema decidible es un sistema formal en el que hay un método efectivo para determinar si cualquier fbf dada es un teorema. Un sistema en el que hay un conjunto de teoremas es un conjunto decidible
La pregunta de si un sistema es decidible con frecuencia se llama el Entscheidungsproblem, o problema de decisión.
(v. sistema formal, teorema)
Un sistema formal es un lenguaje formal (alfabeto y gramática) más un aparato deductivo (axiomas y reglas de inferencia).
Los sistemas formales tiene al menos cuatro elementos que los definen:
(v. axioma, cálculo, lenguaje formal, sistema decidible, teorema)
Acrónimo de la expresión “si y sólo si”. A syss B significa que B es condición necesaria y suficiente para A. Esta expresión se formaliza: A↔B.