Professional Documents
Culture Documents
Nos permite pasar de dos premisas a la conclusion, esta regla se aplica siempre que
se dé una proposicion condicional y se dé precisamente el consecuente . La misma
regla se aplica tanto si el antecedente y consecuente es una proposición
atómica como molecular.
P →Q (1) P V M → T & Q
P (2) P V M
---------- _________________________
.: Q .: (3) T & Q PP 1.2
¬P→QVA
¬P
______________
.: Q V A
En palabras podemos concluir que esta planta necesita más agua o más abono
P →Q (1) P V M → T & Q
¬Q (2) ¬ ( T & Q )
---------- _______________________
.: ¬ P .: (3) ¬ ( P V M ) TT 1.2
J : Jose es mi hermano.
S: Susana es mi hermana.
¬J
S →J
___________
.: ¬ S
En conclusion Susana no es mi hermana
EJ: O hace frio y llueve o el festival se celebrara al aire libre . Ni hace frio ni llueve .
F : hace frio
E: llueve
A: el festival se celebrara al aire libre
(F & E ) V A
¬ (F & E )
____________
.: A
Es una regla simple que permite pasar de una premisa unica a la conclusion.
P ¬¬P (P V Q)
----- ------- __________
.: ¬¬P .: p .: ¬ ¬ (P V Q)
Q
___________
.: ¬ ¬ Q
Regla que se aplica a proposiciones unidas con "&" . como ambas premisas son
ciertas por tanto la conclusión tambien lo sera es por ello que esta regla nos
permite pasar de una conjuncion a cada una de las proposiciones .
EJ: Una sociedad es una coleccion de individuos que buscan una forma de vida y la
cultura es su forma de vida.
S: Una sociedad es una coleccion de individuos que buscan una forma de vida
C: la cultura es su forma de vida.
S&C S&C
__________ ________________
S C
En la primera concluimos que Una sociedad es una coleccion de individuos que buscan
una forma de vida , y en la segunda que en una sociedad la cultura es su forma de vida.