INFERENCIA LÓGICA

1. A → B        P1
2. B → C        P2
3. A                P3
   ________________
4. B                M.P.P (1,2)
5. C                M.P.P (2,4)

A= Duermo  B= Sueño  C= Descanso

1. Duermo entonces sueño
2. Sueño entonces descanso
3. Duermo
4. Sueño
5. Descanso

1. S →  ¬T                 P1
2. S                        P2
3. ¬ T → R                P3
4. ¬T
5. R

S= Hago tarea   T= Juego  R= Veo la tele

1. Hago tarea entonces no juego
2. Hago tarea
3. No juego entonces veo la tele
4. No juego
5. Veo la tele

Demostrar M v N

1. ¬ J →  M v N        p1
2. F v G → ¬ J                p2
3. F v G                        p3
4. ¬ J                        M.P.P (2,3)
5. M v G                 M.P.P (1,4)

J= Juego M= Enfermo N= Tomo medicina F= Estudiar G = Trabajar

1. No juego entonces me enfermo y tomo medicina
2. Estudio y trabajo entonces no juego
3. Estudio y trabajo
4. No juego
5. Me enfermo y tomo medicina

Demostrar “B”

1. ¬G →  E                p1
2. E → K                        p2
3. ¬ G                        p3
4. K →  ¬L                 p4
5. ¬ L → M                p5
6. M → B                        p6
7. E                        M.P.P (1,3)
8. K                        M.P.P (2,7)
9. ¬ L                         M.P.P (4,8)
10. M                        M.P.P (5,9)
11. B                        M.P.P (6,10)

G=Leo  E=Escribo  K=Pienso  L=Imagino  B=Tengo dinero    M=Trabajo

1. No leo entonces escribo
2. Escribo entonces pienso
3. No leo
4. Pienso entonces imagino
5. No imagino entonces trabajo
6. Trabajo entonces tengo dinero
7. Escribo
8. Pienso
9. No imagino
10. Trabajo
11. Tengo dinero

Demostrar “B”  

1. ¬ A                         p1
2. ¬ A → ¬ ¬ B                p2
3. ¬ ¬ B                        M.P.P (1,2)
4. B                        D. N (3)

A= Voy al cine  B= Me quedo en casa

1. No voy al cine
2. No voy al cine entonces no me voy a no quedar en casa
3. No me voy a no quedar en casa
4. Me quedo en casa

Demostrar “Q”

1. J → K & M                         p1
2. J                                p2
3. K & M → ¬ ¬ Q                p3
4. K & M                         M.P.P (1,2)
5. ¬ ¬ Q                                M.P.P (3,4)
6. Q                                 DN (5)

J=Leo K= Imagino M= Pienso Q= Reflexiono

1. Leo entonces imagino y pienso
2. Leo
3. Imagino y pienso entonces no estoy no reflexionando
4. Imagino y pienso
5. No estoy no reflexionando
6. Reflexiono

Demostrar “ ¬ ¬  T “

1. S → T         p1
2. S                p2
3. T                M.P.P (1,2)
4. ¬ ¬ T                D.N (3)

S= Paseo perros   T = Voy al parque

1. Paseo perros entonces voy al parque
2. Paseo perros
3. Voy al parque
4. No estoy no paseando perros

Demostrar  “ B “

1. ¬ A                        p1
2. ¬ A  → ¬ ¬ B                p2
3.  ¬ ¬ B                 M.P.P (1,2)
4. B                        D. N (3)

A= Manejo coche  B= manejo moto

1)No manejo coche

2) No manejo coche entonces no manejo moto

3) No manejo moto

4) Manejo moto

1. P →  Q                p1
2. ¬ Q                         p2
3. ¬ P → R                 p3
4. ¬ P                         M.T .T (1,2)
5. R                        M.P.P (3,4)
6. ¬ ¬ R                         D. N (5)

P=Baño perros   Q= Cepillo perros   R=Paseo perros

1. Baño perros entonces cepillo perros
2. No cepillo perros
3. No baño perros entonces paseo perros
4. No baño perros
5.  No estoy no paseando perros