LGICA

MATEMTICA

Esp. Alejandra Rubio Vanegas

TEMAS
1. INFERENCIA LGICA
2. LEYES DE INFERENCIA LGICA

INFERENCIA LGICA
son las conclusiones que se pueden obtener
despus de realizar un razonamiento, este
razonamiento solamente es verdadero si se cumplen
las siguientes condiciones:
1. Las premisas deben ser verdaderas
2. Durante el proceso de deduccin las premisas
deben relacionarse sujetas a las leyes de la lgica

REGLAS DE INFERENCIA
MODUS PONENDUS PONEN (MPP)
1. Si hoy es Viernes entonces salgo de viaje
2. Hoy es Viernes
3. Salgo de viaje
EXPRESIN SIMBLICA
Premisa 1: p q
Premisa 2:
p
Conclusin:
q
MPP

EJEMPLOS
1. p (r v q)
2. p
3.

1. r (p ^ q)
2. r
3.

1. q p
2. q
3.

1. s (p q)
2. s
3.

REGLAS DE INFERENCIA
MODUS TOLLENDO TOLLEN (MTT)
1. Si los hombres son romnticos entonces traen serenata
2. No traen serenata
3. Los hombres no son romnticos
EXPRESIN SIMBLICA
Premisa 1: h s
Premisa 2:
s
Conclusin:
h
MTT

EJEMPLOS
1. p (r v q)
2. (r v q)
3.

1. (s p) q
2. q
3.

1. q p
2. p
3.

1. (s t) (p q)
2. p q
3.

REGLAS DE INFERENCIA
SILOGISMO HIPOTTICO (SH)
1. Si hoy entrenan Ironman entonces Maana iremos a cine
2. Si iremos a cine entonces hay que llevar dinero
3. Si hoy estrenan Ironman entonces hay que llevar dinero
EXPRESIN SIMBLICA
Premisa 1: i c
Premisa 2:
cd
Conclusin:
id

SH

EJEMPLOS
1. p q
2. q r
3.

1. (s p) q
2. q r
3.

1. q p
2. p r
3.

1. s (p q)
2. (p q) r
3.

REGLAS DE INFERENCIA
MODUS TOLLENDO PONENS (MTP)
1. Me gustan los dulces O Me gustan las hamburguesas
2. No me gustan los dulces
3. Me gustan las hamburguesas
EXPRESIN SIMBLICA
Premisa 1: d v h
Premisa 2:
d
Conclusin:
h
MTP

REGLAS DE INFERENCIA
MODUS TOLLENDO PONENS (MTP)
1. Me gustan los dulces O Me gustan las hamburguesas
2. No me gustan las hamburguesas
3. Me gustan los dulces
EXPRESIN SIMBLICA
Premisa 1: d v h
Premisa 2:
h
Conclusin:
d
MTP

EJEMPLOS
1. p v q
2. p
3.

1. (r s) v q
2. q
3.

1. p v q
2. p
3.

1. s (p q)
2. s
3.

REGLAS DE INFERENCIA
SIMPLIFICACION (S)
1. Me gusta el cine Y me gusta la tecnologa
2. Me gusta el cine
EXPRESIN SIMBLICA
Premisa 1: c ^ t
Conclusin:
c
S
Premisa 1: c ^ t
Conclusin:
t

EJEMPLOS
1. p ^ q
2.

1. (r s) ^ q
2.

1. (p r) ^ q
2.

1. s ^ (p q)
2.

REGLAS DE INFERENCIA
DILEMA CONSTRUCTIVO (DC)
1. Si hoy es viernes entonces voy a cine Y hoy es sbado entonces me
quedo en casa
2. Hoy es viernes O Hoy es sbado
3. Voy al cine O me quedo en casa
EXPRESIN SIMBLICA
Premisa 1: ( h c) ^ ( s m)
Premisa 2:
h v s
Conclusin:
cvm
DC

REGLAS DE INFERENCIA
ABSORCION (ABS)
1. Si hoy es viernes entonces voy a cine
2. Si hoy es viernes entonces (voy a cine O tengo clase)
EXPRESIN SIMBLICA
Premisa 1: h c
Conclusin: h (c ^ t) ABS

REGLAS DE INFERENCIA
CONJUNCION (CONJ)
1. hoy es jueves
2. Tengo clase
EXPRESIN SIMBLICA
Premisa 1: j
Premisa 2:
c
Conclusin: j ^ c CONJ

REGLAS DE INFERENCIA
ADICION (AD)
1. hoy es jueves
2. Hoy es jueves y tengo sueo
EXPRESIN SIMBLICA
Premisa 1: j
Conclusin: j v s AD

REGLAS DE INFERENCIA LOGICA

MPP
(1) p q
(2) P
(3) q MPP 1,2

MTP
(1)p V q
(2)q
(3)p MTP 1,2

ABS
(1) p q
(2) p (q V r) ABS 1

MTT
(1) p q
(2) q
(3) p MTT 1,2

SH
(1) p q
(2) q r
(3) p r SH 1,2
DC
(1) (p q) ^ (r s)
(2) p V r
(3) q V s DC 1,2

S
(1) p ^ q
(2) p S1
(3) q S1

CONJ

AD

(1) p
(2) q
(3) p ^ q CONJ 1,2

(1) p
(2) P V h AD 1