Semántica

• la interpretación de un símbolo proposicional es un hecho cualquiera
• la interpretación de true es el hecho siempre verdadero, la interpretación de false es el hecho siempre falso
• la tabla de verdad define el significado de una sentencia; el lenguaje es composicional, por tanto se puede obtener el significado de una sentencia compleja a partir del significado de sus partes
• obsérvese en la tabla de verdad de la conectiva de implicación que la lógica proposicional no impone ninguna relación causal entre sentencias
• si una sentencia es true en todas las filas de la tabla de verdad, la sentencia es válida: la tabla de verdad sirve también para establecer la validez de una sentencia
• un modelo de una sentencia es una interpretación bajo la que esa sentencia es cierta
• , si los modelos de KB son todos modelos de A