A  B  C  D  E  F  G  H  I  J  L  M  N O  P  R  S  T  V

satisfacibilidad

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.

(v. interpretación, insatisfacibilidad, modelo)

semántica

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)

silogismo disyuntivo

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:

Silogismo disyuntivo (SD)
  • A∨B
  • ¬B
  • A      (SD1)
  • A∨B
  • ¬A
  • B      (SD2)

Referencias al texto:

sintaxis

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.

(v.fórmula, lenguaje formal, sistema formal)

sistema decidible

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)

sistema formal

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:

  1. Un alfabeto
  2. Un repertorio de reglas de formación de fórmulas (esto es, una gramática).
  3. Una lista de axiomas o postulados, que son las fórmulas primitivas del sistema.
  4. Un repertorio de reglas de inferencia (es decir, una sintaxis)

(v. axioma, cálculo, lenguaje formal, sistema decidible, teorema)

syss

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.