Leyes de la lgica e inferencias

Mara del Pilar Gaitn

E- monitora acadmica
Noviembre 6 de 2014

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Leyes de la lgica
Son universales, se usan en las operaciones con
conceptos
y
juicios,
en
los
razonamientos,
demostraciones y refutaciones.
Las leyes lgicas funcionan en el pensamiento como
principios del raciocinio correcto durante la demostracin
de los juicios y teoras verdaderos y la refutacin de los
juicios e hiptesis falsos. La violacin de las leyes lgicas
induce al error lgico sea impremeditado (llamado
paralogismo) o consciente (llamado sofisma).
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Idempotencia
Es la propiedad para realizar una accin determinada
varias veces y aun as conseguir el mismo resultado que se
obtendra si se realizase una sola vez.

Asociativa
No importa el orden en que agrupes las premisas

Conmutativa
Quiere decir que puedes intercambiar el orden las
premisas y la conclusin va a ser la misma
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Distributiva
En la lgica proposicional, la distribucin se refiere a dos
normas vlidas de reemplazo. Las reglas permiten
reformular conjunciones y disyunciones en pruebas
lgicas.

Identidad
El valor de verdad de la conjuncin (^) y disyuncin (v) ,
depende del valor de p.

Complemento
Su grado de validez va de acuerdo a las leyes de la
conjuncin y la disyuncin
FI-GQ-GCMU-004-015 V. 001-17-04-2013

D morgan
declaran las reglas de equivalencia en las que se muestran
que dos proposiciones pueden ser lgicamente
equivalentes. Las Leyes de Morgan permiten: El cambio del
operador de conjuncin en operador de disyuncin y
viceversa. Las proposiciones conjuntivas o disyuntivas a las
que se aplican las leyes de Morgan pueden estar afirmadas
o negadas (en todo o en sus partes).

FI-GQ-GCMU-004-015 V. 001-17-04-2013

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Leyes de Inferencia
Son un esquema para construir inferencias vlidas.
Estos esquemas establecen relaciones sintcticas entre
un conjunto de frmulas llamados premisas y una
asercin llamada conclusin.
La inferencia es la forma en la que obtenemos
conclusiones en base a datos y declaraciones
establecidas.
Clave: PONENS = PONER TOLLENS = SACAR = NEGAR
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Modus Ponen (MPP)

En lgica, modus ponendo ponens (en latn, modo que
afirmando afirma), tambin llamado modus ponens y
generalmente abreviado MPP o MP, es una regla de
inferencia que tiene la siguiente forma:[ ( p q ) ^ p ] q
Ejemplo

(pq)
p
q

Si P, entonces Q Si est soleado, entonces es de da.

Est soleado.
P
Por lo tanto, Q Por lo tanto, es de da.
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Modus Tollendo Tolens (MTT)

Significa negando, niego, y se refiere a una propiedad
inversa de los condicionales.
Esta regla de inferencia dice que si una implicacin es
verdadera y su consecuente es falso, entonces su
antecedente ser necesariamente falso; simblicamente se
expresa as:[ ( p q ) ^ ~ q ] ~ p
Ejemploa(pq)
~q
~p

Si P, entonces Q Si llueve, entonces las calles se mojan

~Q las calles no se mojan
Por lo tanto, ~P Por lo tanto, no llueve
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Modus Tollendo Ponen (MTP)

Significa negando, afirmo, si uno de los miembros de una
disyuncin es negado, el otro miembro queda
automticamente afirmado, ya que uno de los trminos de
la eleccin ha sido descartado. simblicamente se expresa
as [ ( p v q ) ^ ~ p ] q o [ ( p v q ) ^ ~ q ] p
Ejemplo
( p v ~q )
~p
q

Si P, entonces Q He ido al cine o me he ido de compras

No he ido al cine
~P
Por lo tanto, Q Por lo tanto, he ido de compras
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Silogismo Hipottico (SH)

si una causa se sigue una consecuencia, y sta consecuencia
es a su vez causa de una segunda consecuencia, se puede
decir que esa primera causa es causa de esa segunda
consecuencia [ ( p q ) ^ ( q r ) ] ( p r)
Ejemplo
p q Si la bola roja golpea a la bola blanca, la bola blanca se mueve
q r Si la bola blanca golpea a la bola negra, la bola negra se mueve
______________________________________________
p r Si la bola roja golpea a la bola blanca, la bola negra se mueve

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Si Juana tiene problemas para arrancar su automvil,

entonces su hija ngela verificar las bujas.
Juana tiene problemas para arrancar su automvil
Luego :
P = Juana tiene problemas para arrancar su automvil
Q= ngela verificar las bujas
1) P Q
2) P
----------------Q MPP
FI-GQ-GCMU-004-015 V. 001-17-04-2013

Demuestre que ~(S ^ ~Q) a partir de

~T; ~P ~S; y ~P T
1. ~T
2. ~P ~ S
~PT
3. ~P T
~T
4. ~P SD a 1 y 3
5. ~S MP a 2 y 4
6. ~S Q ADI a 5
7. ~(S ^ ~Q) DM y DN a 6

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Demuestre que R ~Q a partir de

~(R ^ S) y ~S ~Q
1. ~(R ^ S)
2. ~ S ~Q
3. ~R ~ S DM a 1
4. R ~S ID a 3
5. R ~Q SH a 2 y 4

FI-GQ-GCMU-004-015 V. 001-17-04-2013

Si Jos es mayor que Roberto, entonces Pancho es menor que Carlos. Pero si Pancho es
menor que Carlos, entonces Carmen no es mayor que Doris. Adems Carmen es mayor que
Doris. Sin embargo, Luis es amigo de Juan y al mismo tiempo Pedro es mayor que Juan o en
todo caso Jos es mayor que Roberto.
p: Pedro es mayor que Juan.
q: Jos es mayor que Roberto.
r: Pancho es menor que Carlos.
s: Carmen es mayor que Doris
t: Luis es amigo de Juan.
1) q r
2)r ~ s
3) s
4)t ( p q )
5) ~ r
(2;3) ( MT )
6)~ q
(1;5) ( TT )
7) p q
( 4 ) ( SD )
8) p
(6;7) (SD)
FI-GQ-GCMU-004-015 V. 001-17-04-2013