Resueltos Ejercicios Bach. Lógica Filosofía
6
PRIMERO:|--- p -1 (p q) (p r) 2 p q [Caso 1] 3 p [EC 2] 4 p r [Caso 2] 5 p [EC 4] 6 p [Cas 1, 2-3, 4-5] SEGUNDO:|--- q r -1 p (q r) -2 p q 3 p [Caso 1] 4 (q r)[MP 1,3] 5 q [Caso 2] 6 (q r)[ID 5] 7 q r [Cas 2, 3-4,5-6] TERCERO:|--- q s -1 p q -2 r s -3 p r 4 p [Caso 1] 5 q [MP 1,4] 6 q s [ID 5] 7 r [Caso 2] 8 s [MP [MP 2,7] 9 q s [ID 8] 10 q s [Cas 3, 4-6,7-9] CUARTO:|--- r s -1 p q -2 p s -3 q r 4 p [Caso 1] 5 s [MP 2,4]
-
Upload
antonio-maxia -
Category
Documents
-
view
14 -
download
5
description
Ejercicios de Cálculo para Filosofía de Bachillerato
Transcript of Resueltos Ejercicios Bach. Lógica Filosofía
PRIMERO:|--- p
-1 (p q) (p r) 2 p q [Caso 1] 3 p [EC 2] 4 p r [Caso 2] 5 p [EC 4] 6 p [Cas 1, 2-3, 4-5]
SEGUNDO:|--- q r
-1 p (q r) -2 p q 3 p [Caso 1] 4 (q r)[MP 1,3] 5 q [Caso 2] 6 (q r)[ID 5] 7 q r [Cas 2, 3-4,5-6]
TERCERO:|--- q s
-1 p q -2 r s -3 p r 4 p [Caso 1] 5 q [MP 1,4] 6 q s [ID 5] 7 r [Caso 2] 8 s [MP [MP 2,7] 9 q s [ID 8] 10 q s [Cas 3, 4-6,7-9]
CUARTO:|--- r s
-1 p q -2 p s -3 q r 4 p [Caso 1] 5 s [MP 2,4] 6 r s [ID 5] 7 q [Caso 2] 8 r [MP 3,7] 9 r s [ID 8] 10 r s [Cas 1, 4-6,7-9]
QUINTO:|--- q r
-1 p (q r) -2 p (q r) -3 q 4 p [Caso 1] 5 q r [MP 1,4] 6 r [MP 5,3] 7 q r [ID 6] 8 q r [Caso 2] 9 r [MP 8,3] 10 q r [ID 9] 11 q r [Cas 2, 4-7, 8-10]
SEXTO:|--- q r
-1 (p q) (r s) 2 (p q)[Caso 1] 3 q [EC 2] 4 q r [ID 3] 5 (r s)[Caso 2] 6 r [EC 5] 7 q r [ID 6] 8 q r [Cas 1, 2-4, 5-7]
SEPTIMO:|--- q p
-1 (p q) 2 p [Caso 1] 3 q p [ID 2] 4 q [Caso 2] 5 q p [ID 4] 6 q p [Cas 1, 2-3, 4-5]
OCTAVO:|--- p q
-1 (q p) 2 q [Caso 1] 3 p q [ID 2] 4 p [Caso 2] 5 p q [ID 4] 6 p q [Cas 1, 2-3, 4-5]
NOVENO:|--- (p q) (p r)
-1 p (q r) 2 p [Caso 1] 3 (p q) [ID 2] 4 (p r)[ID 2] 5 (p q) (p r)[IC 3,4] 6 (q r) [Caso 2] 7 q [EC 6] 8 p q [ID 7] 9 r [EC 6] 10 (p r)[ID 9] 11 (p q) (p r)[IC 8,10] 12 (p q) (p r)[Cas 1, 2-5, 6-11]
DECIMO:|--- (p q) (p r)
-1 p (q r) 2 (q r) [EC 1] 3 q [Caso 1] 4 p [EC 1] 5 (p q) [IC 4,3] 6 (p q) (p r)[ ID 5] 7 r [Caso 2] 8 p [EC 1] 9 (p r)[IC 8,7] 10 (p q) (p r) [ID 9] 11 (p q) (p r)[Cas 2, 3-6, 7-10]
UNDECIMO:|--- p (q r)
-1 (p q) (p r) 2 (p q) [Caso 1] 3 p [EC 2] 4 q [EC 2] 5 (q r) [ID 4] 6 p (q r)[IC 3,5] 7 (p r) (Caso 2] 8 p [EC 7] 9 r [EC 7] 10 (q r) [ID 4] 11 p (q r) [IC 8,10] 12 p (q r) [Cas 1, 2-6, 7-11]
DUODÉCIMO:|--- t
-1 p (q r) s
-2 p t -3 (q r) t -4 s t 5 p [Caso 1] 6 t [MP 2,5] 7 (q r) [Caso 2] 8 t [MP 3,7] 9 s [Caso 3] 10 t [MP 4,9] 11 t [Cas 1, 5-6, 7-8, 9-10]
DECIMOTERCERO:|--- (p p) q
-1 p q -2 p q 3 (p p) [Premisa Subsidiaria] 4 p [Caso 1] 5 q [MP 2,4] 6 p [Caso 2] 7 q [MP 1,6] 8 q [Cas 3, 4-5, 6-7] 9 (p p) q [TD 3-8]
DECIMOCUARTO:|--- r
-1 p q -2 p r -3 q r 4 p [Caso 1] 5 r [MP 2,4] 6 q [Caso 2] 7 r [MP 3,6] r [Cas 1, 4-5, 6-7]
DECIMOQUINTO:|--- q r
-1 p (q r) -2 p (q r -3 q 4 p [Caso 1] 5 (q r [MP 1,4] 6 r [MP 5,3] 7 q r [ID 6] 8 (q r [Caso 2] 9 r [MP 8,3]
10 q r [ID 9] 11 q r [Cas 2, 4-7, 8-10]
DECIMOSEXTO:|--- p s
-1 p (q r) -2 q r -3 r s 4 p [Premisa provisional] 5 (q r) [MP 1,4] 6 q [Caso 1] 7 r [MP 2,6] 8 s [MP 3,7] 9 r [Caso 2] 10 s [MP 3,9] 11 s [Cas 5, 6-8, 9-10] 12 p s [TD 4-11]
