Oferta 10º Aniversario   +infomación

Portada del sitio > Lógica y Estructuras Discretas > 1 - Lógica de proposiciones y predicados de primer orden > Definiciones de los conceptos semánticos básicos

Definiciones de los conceptos semánticos básicos


- a) Qué tienen que cumplir dos fórmulas para aceptarse como equivalentes.

- b) Qué tiene que cumplir un conjunto de fórmulas para ser reconocido como conjunto satisfacible (o insatisfacible en caso contrario)

- c) Qué tiene que cumplir una fórmula para ser reconocida como satisfacible (similar al caso de la satisfacibilidad de un conjunto de una única fórmula). División de todas las posibles fórmulas entre fórmulas satisfacibles e insatisfacibles (contradicciones). Y dentro de las satisfacibles, el caso particular de las fórmulas q ue son verdad en toda interpretación (fórmulas universalmente válidas -tautologías en el caso proposicional-)

- d) Qué tiene que cumplir una fórmula para ser aceptada como consecuencia de un conjunto de fórmulas.

recargar  recargar  Todos los Ejercicios del Tema
Anterior  Índice de TEORÍA  Siguiente  

© 2007, 2018 CiberMatex | My CiberMatexMi cuenta | Condiciones Legales | Política de cookies