8/18/2019 sesion4_INFERENCIAS LOGICAS

1/19

LÓGICA

MATEMÁTICA

Esp. Alejandra Rubio Vanegas

8/18/2019 sesion4_INFERENCIAS LOGICAS

2/19

p j g

1. INFERENCIA LÓGICA

2. LEYES DE INFERENCIA LÓGICA

TEMAS

8/18/2019 sesion4_INFERENCIAS LOGICAS

3/19

INFERENCIA LÓGICA

son las conclusiones que se pueden obtenerdespués de realizar un razonamiento, este

razonamiento solamente es verdadero si se cumplenlas siguientes condiciones

1. Las premisas deben ser verdaderas2. Durante el proceso de deducción las premisas

deben relacionarse sujetas a las leyes de la lógica

8/18/2019 sesion4_INFERENCIAS LOGICAS

4/19

REGLAS DE INFERENCIA

M!"#S $!%E%"#S $!%E% &M$$'

(. Si )o* es Viernes entonces salgo de viaje+. o* es Viernes

-. Salgo de viaje

E$RES/0% S/M102/3A$remisa ( p q

$remisa + p

3onclusi4n q M$$

8/18/2019 sesion4_INFERENCIAS LOGICAS

5/19

E5EM$2!S

(. 6p &r v q'

+. 6p-.

(. q 6p

+. q

-.

(. 6r 6&p 7 q'+. 6r  

-.

(. 6s 6&p q'+. 6s

-.

8/18/2019 sesion4_INFERENCIAS LOGICAS

6/19

REGLAS DE INFERENCIA

M!"#S T!22E%"! T!22E% &MTT'

(. Si los )ombres son rom8nticos entonces traen serenata+. %o traen serenata

-. 2os )ombres no son rom8nticos

E$RES/0% S/M102/3A$remisa ( ) s

$remisa + 6s

3onclusi4n 6) MTT

8/18/2019 sesion4_INFERENCIAS LOGICAS

7/19

E5EM$2!S

(. 6p &r v q'

+. 6&r v q'-.

(. q 6p

+. 6 6 p

-.

(. 6&s p' q+. 6q

-.

(. 6&s t' 6&p q'+. p q

-.

8/18/2019 sesion4_INFERENCIAS LOGICAS

8/19

REGLAS DE INFERENCIA

S/2!9/SM! /$!T:T/3! &S'

(. Si )o* entrenan /ronman entonces Ma;ana iremos a cine+. Si iremos a cine entonces )a* que llevar dinero

-. Si )o* estrenan /ronman entonces )a* que llevar dinero

E$RES/0% S/M102/3A$remisa ( i c

$remisa + c d

3onclusi4n i d S

8/18/2019 sesion4_INFERENCIAS LOGICAS

9/19

E5EM$2!S

(. p q

+. q

 r -.

(. q 6p

+. 6p 6r 

-.

(. 6&s p' q+. q r 

-.

(. 6s 6&p q'+. 6&p q' 6r 

-.

8/18/2019 sesion4_INFERENCIAS LOGICAS

10/19

REGLAS DE INFERENCIA

M!"#S T!22E%"! $!%E%S &MT$'

(. Me gustan los dulces ! Me gustan las )amburguesas+. %o me gustan los dulces

-. Me gustan las )amburguesas

E$RES/0% S/M102/3A$remisa ( d v )

$remisa + 6d

3onclusi4n ) MT$

8/18/2019 sesion4_INFERENCIAS LOGICAS

11/19

REGLAS DE INFERENCIA

M!"#S T!22E%"! $!%E%S &MT$'

(. Me gustan los dulces ! Me gustan las )amburguesas+. %o me gustan las )amburguesas

-. Me gustan los dulces

E$RES/0% S/M102/3A$remisa ( d v )

$remisa + 6)

3onclusi4n d MT$

8/18/2019 sesion4_INFERENCIAS LOGICAS

12/19

E5EM$2!S

(. p v q

+. 6 p-.

(. p v q

+. 6 p

-.

(. &r s' v q+. 6 q

-.

(. 6s 6&p q'+. 6 s

-.

8/18/2019 sesion4_INFERENCIAS LOGICAS

13/19

REGLAS DE INFERENCIA

S/M$2/

8/18/2019 sesion4_INFERENCIAS LOGICAS

14/19

E5EM$2!S

(. p 7 q

+.

(. &p r' 7 q

+.

(. &r s' 7 q+.

(. 6s 7 6&p q'+.

8/18/2019 sesion4_INFERENCIAS LOGICAS

15/19

REGLAS DE INFERENCIA

"/2EMA 3!%STR#3T/V! &"3'

(. Si )o* es viernes entonces vo* a cine = )o* es s8bado entonces mequedo en casa

+. o* es viernes ! o* es s8bado

-. Vo* al cine ! me quedo en casa

E$RES/0% S/M102/3A

$remisa ( & ) c' 7 & s  m'

$remisa + ) v s

3onclusi4n c v m "3

8/18/2019 sesion4_INFERENCIAS LOGICAS

16/19

REGLAS DE INFERENCIA

A1S!R3/!% &A1S'

(. Si )o* es viernes entonces vo* a cine+. Si )o* es viernes entonces &vo* a cine ! tengo clase'

E$RES/0% S/M102/3A

$remisa ( )

 c3onclusi4n ) &c 7 t' A1S

8/18/2019 sesion4_INFERENCIAS LOGICAS

17/19

REGLAS DE INFERENCIA

3!%5#%3/!% &3!%5'

(. )o* es jueves+. Tengo clase

E$RES/0% S/M102/3A

$remisa ( j$remisa + c

3onclusi4n j 7 c 3!%5

8/18/2019 sesion4_INFERENCIAS LOGICAS

18/19

REGLAS DE INFERENCIA

A"/3/!% &A"'

(. )o* es jueves+. o* es jueves * tengo sue;o

E$RES/0% S/M102/3A

$remisa ( j3onclusi4n j v s A"

8/18/2019 sesion4_INFERENCIAS LOGICAS

19/19

RE92AS "E /%