IMPLICACIONES NOTABLES

MP

MPP
Modus Ponens o
Modus Ponendo
Ponens

"Si Juan estudia,
aprende", encontramos
que Juan estudia, Que
podemos concluir? ......
"que Juan aprende". ...
verdad?
p q
p
q
El consecuente:


(M.T)

MTT)

Modus Tollens o
Modus Tollendo
Tollens

"Si Juan estudia,
aprende", encontramos
que Juan no estudia,
Que podemos
concluir? .... "que Juan
no aprende". ..
Verdad?
p q
~ q
~ p
El antecedente:




[(p --> q)^p]--> q
(S: H) Silogismo Hipottico

" Si juan estudia,
aprende y si Juan
aprende ampla sus
opciones de empleo", en
conclusin,
"Si Juan estudia, ampla
sus opciones de
empleo".
p q
q r
p r
El 1er antecedente con el ltimo consecuente:

Declaracin de proposiciones simples:
p= Juan estudia
q= Juan aprende
r = Juan ampla sus posibilidades de empleo


(S. D)

(MTP)

Silogismo disyuntivo o
Modus Tollendo
Ponens
Si Juan lanza una
moneda, esta puede
caer cara o sello",
encontramos
que la moneda no cae
cara. Que podemos
concluir? ...... "que la
moneda cae sello".....
p v q
~ p
q



(D.C) Dilema constructivo
(Si estudio aprendo y si duermo
descanso.
Estudi o dorm.
Luego Aprend o descans).

p= Juan estudia
q= Juan trabaja
r = Juan aprende
s = Juan recibe dinero

p v r
q v s


{ [ (p -->r) ^(q -->s) ] ^ (p v q) } --> (r v s)

Si juan estudia, aprende y si Juan trabaja recibe dinero", sabemos
que, "Juan estudia trabaja". Qu podemos concluir? ....claro, que
Juan o aprende o recibe dinero

p -->r
q -->s
p v q
____
r v s

Dilema desctructivo p v r
~q v~ s

(Abs) Absorcin
"Si llueve hace fro",
encontramos que llueve,
luego es vlido concluir
que llueve y hace fro.
Es decir, que se estn
dando las dos cosas.
p q
p (q . p)

p --> q = se lee, Si llueve, entonces hace fro
p =se lee, llueve
____
p ^ q = se lee, en conclusin llueve y hace fro
(Simp.) Simplificacin
"Mara le comunica a
Juan que estudia y
trabaja", posteriormente,
Juan se encuentra con
Diego y le comenta que
Mara estudia
p . q
p

p. q
q

|( p q) . p] q

|( p q ) . ~q] ~p

[( p q ) . (q r )] ( p r )

[( p v q ) . ~p] q [( p v q ) . ~q] p

( p q) . (r s )

( p q) > ( q . p )

(p. q)p (p. q)q


(Conj)

Conjuncin
"Mara le comunica a
Juan que Diego estudia",
Pedro le comunica a
Juan que Diego trabaja"
Que puede concluir
Juan?.... por supuesto,
que "Diego estudia y
trabaja".
p
q______
p . q
p = se lee, Diego estudia
q = se lee, Diego trabaja
____
p ^ q= se lee, Diego estudia y trabaja
(Ad.)

Adicin

Mara le comunica a
Juan que estudia",
posteriormente, Juan se
encuentra con Diego y le
comenta a ste que
Mara estudia trabaja
P______
p v q

q___
p v q

p = se lee, Mara estudia
____
p v q = se lee, en conclusin mara estudia trabaja
Ley de la inferencia
equivalente
pq
p___
q

ley transitiva
pq
q r
p r

Ley de Morgan ~(p v q)
~p . ~q

~(p . q)
~p v ~q

Ley de traslacin (p . q) r
p (q. r)
O a la inversa
Ley de transposicin p q
~p ~q
O a la inversa

Ley del condicional p q
~ p v q


p(p v q) q(p v q)
[(pq) . p ] q
[( p q ) . (qr )] ( p r )

|( p . q) r] p (q. r)

( p q) > ( ~p~q )

( p q ) > (~p v q)