INFERENCIAS

REGLAS
I. RAZONAMIENTOS
1. Una Premisa
a) Simplificación
P1: A ^ B
C: A

b) Adición o Nuevo Factor

P1: A
C: A v B

2. Dos Premisas
a) Conjunción o Adjunción
P1: A
P2: B
C: A ^ B

b) Silogismo Disyuntivo
P1: A v B
P2: -A
C: B

II. MODOS
1. Modus Ponendo Ponens
P1: A B P1: A B
P2: A P2: A
C: B C: B

P1: A B P1: A B
P2: B P2: B
C: A C: NO

2. Modus Tollendo Tollens

P1: A B P1: A B
P2: -B P2: -A
C: -A C: -B

P1: A B P1: A B
P2: -B P2: -A
C: -A C: NO

3. Modus Ponendo Tollens

P1: A v B P1: A v B
P2: A P2: B
C: -B C: -A

4. Modus Tollendo Ponens

P1: A v B P1: A v B
P2: -A P2: -B
C: B C: A

5. Silogismo Hipotético Puro

P1: A B P1: A B
 P2: B C P2: C A
C: A C C: C B

P1: A B P1: A B
P2: B C P2: C B
C: A C C: NO

PRÁCTICA
1. Del siguiente esquema:
P1: A -B
P2: B v –C
P3: A ^ D
Podemos inferir:
a) –D ^ E b) C E c) –C d) E C e) –C ^ D

2. De las premisas:
P1: p v –q
P2: q r
P3: q v r
Se infiere:
a) p v q b) p c) p -q d) r e) –p

3. Dadas las premisas:

P1: p (-q v p)
P2: q (-p ^ r)
P3: -r
Se colige:
a) –q b) r c) p d) –p e) p r

4. Dadas las siguientes premisas formales:

P1: [(A B) ^ (C D)]
P2: (A v C)
P3: [(B C) ^ (D E)]
Se infiere deductivamente en la siguiente conclusión:
a) A ^ E b) A ^ D c) D v G d) C v E e) NA

5. De la siguiente estructura:
P1: (p v q) -r
P2: s p
P3: t q
P4: s v t
Se deriva la siguiente conclusión:
a) r b) s v r c) p ^ q d) –p v r e) r q

6. Dadas las premisas:

P1: A v –B
P2: B C
P3: B v C
Se colique:
a) A v B b) A c) A -B d) –A e) C

7. De las premisas:
P1: [(T ^ U) W)] (A ^ B ^ C)
P2: -B
Se concluye:
1) T 2) T ^ X 3) –W ^ U
4) A ^ U ^ X 5) U v (A ^ B ^ C)
Son ciertas:
a) 1,2,3 b) 3,4,5 c) 1,2,5 d) 1,3 e) 1,3,5
8. De las premisas:
P1: A B
P2: (A C) (D v B)
P3: (A ^ B) C
P4: -D
Se infiere:
a) B b) D c) –A v B d) A ^ B e) D v –B

9. De las premisas:
P1: (A B) ^ (C D)
P2: E F
P3: F G
P4: -B v –G
Se infiere:
a) –A ^ B b) –A v –E c) E ^ F d) G e) –B ^ G

10. Sean las premisas:

P1: (x = 5) (y = 4)
P2: (z = 3) (y = 4)
P3: (z = 3) (p = 6)
P4: (x = 5)
Se infiere:
a) x = 5 b) z = 3 c) p = 6 d) x = 5 e) NA

11. Dadas las siguientes premisas formales:

P1: (p = q) r
P2: - (r v s)
P3: p v (q v t)
La conclusión es:
a) –t b) s c) q d) t e) –p

12. Sean las premisas:

P1: -A
P2: B C
P3: - (E ^ -B)
P4: D A
P5: C D
Se infiere:
a) B b) D ^ E c) D E
d) –E B e) –E

13. Si:
P1: p q
P2: (p ^ q) r
P3: r s
¿Qué conclusión se deduce?
a) (p ^ q) q b) –p v s c) –s -p
d) B y C e) Todas

14. De las premisas:

P1: p q
P2: p r
P3: s r
Se infiere:
1) s q
2) s q
3) –q (0 v –s)
4) t (s q)
5) q (s t)
son incorrectas, excepto:
a) 1,2,3 b) 1,2,5 c) 2,3,4 d) 3,4,5 E) 1,3,4