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

Propiedades de los conceptos semánticos básicos


- a) La relación de equivalencia es reflexiva, simétrica y transitiva
- b) El reemplazo (en una fórmula original) de una subfórmula por otra equivalente produce otra fórmula total sintácticamente distinta. Pero equivalente a la original.
- c) Si un conjunto de fórmulas es satisfacible, también lo es la fórmula (única) obtenida por conjunción de todas ellas
- d) Partiendo de un conjunto de fórmulas (satisfacible/insatisfacible), ¿cómo resulta ser el conjunto resultante tras (añadir/extraer) alguna fórmula del original? ¿Y si se conoce alguna propiedad de esa fórmula, p.ej. ser contradicción o ser tautología?
- e) Cuando en una tautología se sustituyen todas las apariciones de una misma letra proposicional por la fórmula que se desee, el resultado sigue siendo una tautología
- f) Toda fórmula es consecuencia de sí misma. Si una fórmula A es consecuencia de un conjunto de fórmulas, y B es consecuencia de A, resulta que B es consecuencia también de ese conjunto inicial de fórmulas.
recargar  recargar  Todos los Ejercicios del Tema
Anterior  Índice de TEORÍA  Siguiente  

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