Professional Documents
Culture Documents
Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si est soleado, entonces es de da.
Est soleado.
Por lo tanto, es de da.
nico sentido, lo que hace que slo se pueda afirmar a partir del antecedente y
negar slo a partir del consecuente.
p p
El esquema representa, p doblemente negada equivale a p. Siguiendo el
esquema de una inferencia por pasos, la representaramos as:
p No ocurre que Ana no es una estudiante
_____________________________________________________
p Ana es una estudiante
La regla doble negacin, simplemente establece que si un enunciado est
doblemente negado, equivaldra al enunciado afirmado.
ADJUNCIN Y SIMPLIFICACIN
LEY CONMUTATIVA