EJERCICIOS CON REGLAS DERIVADAS
Derivación de los Ejercicios siguientes
PRIMERO: |--- F
- -1 G ® H
- -2 Ø G ® Ø Ø F
- -3 Ø H
SEGUNDO: |--- r
- -1 Ø q Ú s
- -2 Ø s
- -3 Ø (r Ù s) ® q
TERCERO: |--- H
- -1 Ø S
- -2 S Ú (H Ú G)
- -3 Ø G
CUARTO: |--- Ø r
- -1 s Ú Ø r
- -2 t ®
Ø s
- -3 t
QUINTO: |--- s
- -1 p ® (q Ù r)
- -2 p
- -3 t ®
Ø q
- 4 t Ú s
SEXTO: |--- p
- -1 Ø r
- -2 Ø p
® q
- -3 q ® r
SEPTIMO: |--- Ø r Ú s
- -1 p Ú Ø q
- -2 p ®
Ø r
- -3 Ø q ® s
OCTAVO: |--- s Ù q
- -1 p Ú t
- -2 Ø t
- -3 p ® (q Ù s)
NOVENO: |--- Ø
(r Ù Ø t)
- -1 (r Ù Ø t)® Ø s
- -2 p ® s
- -3 p Ù q
DECIMO: |--- s Ù r
- -1 (r Ù s)
Ú p
- -2 q ®
Ø p
- -3 t ®
Ø p
- -4 q Ú t
UNDECIMO: |--- Ø p
- -1 r ® t
- -2 s ® q
- -3 (t Ú q)® Ø p
- -4 r Ú s
DUODECIMO: |--- Ø s
- -1 Ø (p Ù q)
- -2 Ø q
® t
- -3 Ø p
® t
- -4 s ®
Ø t
DECIMOTERCERO: |--- Ø
(A Ú B
- -1 C Ù Ø D)
- -2 C ®
Ø A
- -3 D Ú
Ø B
DECIMOCUARTO: |--- r Ù q
- -1 Ø s ®
Ø (p Ú Ø t)
- -2 t ® (q Ù r)
- -3 Ø s
DECIMOQUINTO: |--- s Ù t
- -1 Ø (p Ú
Ø r)
- -2 q Ú p
- -3 r ® s
- -4 (q Ù s)
® (t Ù s)
¿Quieres conocer la Solución?
Mundo Lógica
Solución ejercicios con Reglas derivadas
PRIMERO: |--- F
- -1 G ® H
- -2 Ø G ® Ø Ø F
- -3 Ø H
- 4 Ø G [MT 1,3]
- 5 Ø
Ø F [MP 2,3]
- 6 F [DN 5]
SEGUNDO: |--- r
- -1 Ø q Ú s
- -2 Ø s
- -3 Ø (r Ù s) ® q
- 4 Ø q [TP 1,2]
- 5 r Ù s [MT 3,4]
- 6 r [EC 5]
TERCERO: |--- H
- -1 Ø S
- -2 S Ú (H Ú G)
- -3 Ø G
- 4 (H Ú G) [TP 2,1]
- 5 H [TP 4,3]
CUARTO: |--- Ø r
- -1 s Ú Ø r
- -2 t ®
Ø s
- -3 t
- 4 Ø s [MP 2,3]
- 5 Ø r [TP 1,4]
QUINTO: |--- s
- -1 p ® (q Ù r)
- -2 p
- -3 t ®
Ø q
- 4 t Ú s
- 5 (q Ù r) [MP 1,2]
- 6 q [EC 5]
- 7 Ø t [MT 3,6]
- 8 s [TP 4,7]
SEXTO: |--- p
- -1 Ø r
- -2 Ø p
® q
- -3 q ® r
- 4 Ø p
® r [Sil 2,3]
- 5 Ø Ø p
- 6 p [DN 5]
SEPTIMO: |--- Ø r Ú s
- -1 p Ú Ø q
- -2 p ®
Ø r
- -3 Ø q ® s
- 4 Ø r Ú s [Dil 1,2,3]
OCTAVO: |--- s Ù q
- -1 p Ú t
- -2 Ø t
- -3 p ® (q Ù s)
- 4 p [TP 1,2]
- 5 (q Ù s) [MP 3,4]
- 6 (s Ù q) [CC 5]
NOVENO: |--- Ø
(r Ù Ø t)
- -1 (r Ù Ø t)® Ø s
- -2 p ® s
- -3 p Ù q
- 4 p [EC 3]
- 5 s [MP 2,4]
- 6 Ø
(r Ù
Ø t)[MT 1,5]
DECIMO: |--- s Ù r
- -1 (r Ù s)
Ú p
- -2 q ®
Ø p
- -3 t ®
Ø p
- -4 q Ú t
- 5 Ø p [Dil 4,2,3]
- 6 (r Ù s) [TP 1,5]
- 7 (s Ù r) [CC 6]
UNDECIMO: |--- Ø p
- -1 r ® t
- -2 s ® q
- -3 (t Ú q)® Ø p
- -4 r Ú s
- 5 t Ú q [Dil 4,1,2]
- 6 Ø p [MP 1,5]
DUODECIMO: |--- Ø s
- -1 Ø (p Ù q)
- -2 Ø q
® t
- -3 Ø p
® t
- -4 s ®
Ø t
- 5 Ø p Ú Ø q
- 6
DECIMOTERCERO: |--- Ø
(A Ú B
- -1 C Ù Ø D)
- -2 C ®
Ø A
- -3 D Ú
Ø B
- 4 C [EC 1]
- 5 Ø A [MP 2,4]
- 6 Ø D [EC 1]
- 7 Ø B [TP 3,6]
- 8 Ø A
Ù
Ø B [IC 5,7]
- 9 Ø
(A Ú B [DM 8]
DECIMOCUARTO: |--- r Ù q
- -1 Ø s ®
Ø (p Ú Ø t)
- -2 t ® (q Ù r)
- -3 Ø s
- 4 Ø (p Ú Ø t)[MP 1,3]
- 5 Ø p Ù
Ø Ø t [DM 4]
- 6 Ø
Ø t [EC 5]
- 7 t [DN 6]
- 8 q Ù r [MP 2,7]
- 9 r Ù q [CC 8]
DECIMOQUINTO: |--- s Ù t
- -1 Ø (p Ú
Ø r)
- -2 q Ú p
- -3 r ® s
- -4 (q Ù s)
® (t Ù s)
- 5 Ø p Ù
Ø Ø r [DM 1]
- 6 r [DN 5]
- 7 Ø p [EC 5]
- 8 q [TP 2,7]
- 9 s [MP 3,6]
- 10 (q Ù s) [IC 8,9]
- 11 t Ù s [MP 4,10]
- 12 s Ù t [CC 11]
Ejercicios reglas derivadas