Oferta 10º Aniversario   +infomación

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

Interrelación entre los conceptos semánticos básicos


- a) Cuando se construye un bicondicional con, a un lado y otro, dos fórmulas equivalente, ese bicondicional resulta ser una tautología.
- b) Si ocurre que C es consecuencia de las fórmulas H_1, H_2 y H_3, resulta que el condicional H_1 ^ H_2 ^ H_3C es una tautología.
- c) Si ocurre que C es consecuencia de las fórmulas H_1, H_2 y H_3, resulta que el conjunto de fórmulas \{H_1, H_2, H_3, ¬ C\} es insatisfacible.
recargar  recargar  Todos los Ejercicios del Tema
Anterior  Índice de TEORÍA    

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