Esta regla de inferencia dice que si una implicación es verdadera y su consecuente es falso, entonces su antecedente será necesariamente falso; simbólicamente se expresa así:
( p→ q ) ˄ ¬q ˄ ¬p
p → q Se lee : si p entonces q
~ q Se lee : ocurre ~q
\ ~ p Se lee : de donde ~p
POR EJEMPLO:
#1
si hay sol entonces hace calor
no hay sol
no hace calor
#2
Premisa 1: Si un ángulo de un triángulo es mayor de 90º, entonces la suma
de los otros dos ángulos es menor de 90º.
Premisa 2: La suma de los otros dos ángulos no es menor de 90º.
Conclusión: Un ángulo de un triángulo no es mayor de 90º.Simbólicamente:
p: Un ángulo de un triángulo es mayor de 90º.
q: La suma de los otros dos ángulos es menor de 90º.
Premisa 1: p → q
Premisa 2: ~ q
Conclusión: ~ p
No hay comentarios:
Publicar un comentario