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 
, 
y 
, resulta que el condicional ^ ^ → 
es una tautología.
c) Si ocurre que C es consecuencia de las fórmulas , y , resulta que el conjunto de fórmulas 
es insatisfacible.
YouTube Twitter
Mi cuenta