Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MODUS PONENDO PONENS-090222215439-phpapp02 PDF
MODUS PONENDO PONENS-090222215439-phpapp02 PDF
pq
Si llueve, entonces las calles se mojan
p
Llueve
__________________________________________________
q
(premisa)
(premisa)
(conclusin)
El condicional o implicacin es aquella operacin que establece entre dos enunciados una
relacin de causa-efecto. La regla ponendo ponens significa, afirmando afirmo y en un
condicional establece, que si el antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo trmino, en este caso q).
Luego, no llueve
Si de un condicional, aparece como premisa el consecuente negado (el efecto), eso nos
conduce a negar el antecedente (la causa), puesto que si un efecto no se da, su causa no ha
podido darse.
Esto nos permite formular una regla combinada de las ambas anteriores, consecuencia
ambas de una misma propiedad de la implicacin; la regla ponendo ponens slo nos
permite afirmar si est afirmado el antecedente (el primer trmino de la implicacin), y la
regla tollendo tollens slo nos permite negar a partir del consecuente (segundo trmino de
la implicacin); ambas consecuencias se derivan de que la implicacin es una flecha que
apunta en un nico sentido, lo que hace que slo se pueda afirmar a partir del antecedente y
negar slo a partir del consecuente.
DOBLE NEGACIN (DN)
(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
Juan es cocinero
Pedro es polica
___________________________________
____________________________________________
p
qr
Si la bola blanca golpea a la bola negra, la bola negra se mueve
______________________________________________________________________
pr
r s
pV r
Llueve o la tierra tiembla
____________________________________________________
qV s
pVq
pr
qr
____________________________________________________
r
Luego, repites
LEY CONMUTATIVA
Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la disyuncin. Una
conjuncin es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos
no cambia este hecho. Igualmente, una disyuncin es presentar una eleccin entre dos
cosas, sin importar en qu orden se presente esta eleccin. As pues,
pqqp
p y q equivale a q y p
pVqqVp
p q equivale a q p
pVq
____________
(p q)