EJERCICIOS CON REGLAS DERIVADAS Y TEOREMA DEDUCCIÓN
Derivación de los Ejercicios siguientes
PRIMERO: |--- Ø p
® q
SEGUNDO: |--- r ® Ø q
TERCERO: |--- C ® Ø D
- -1 B ®
Ø D
- -2 Ø (D Ù
Ø B)
CUARTO: |--- Ø q ® t
- -1 s ® r
- -2 s Ú p
- -3 p ® q
- -4 r ® t
QUINTO: |--- p ® (p Ù q)
- -1 r ® t
- -2 t ®
Ø s
- -3 (r ® Ø s) ® q
SEXTO: |--- s ® q
- -1 r ® q
- -2 t ® r
- -3 s ® t
SEPTIMO: |--- Ø (r Ù s) ® t
- -1 Ø p
- -2 Ø r
® t
- -3 Ø s
® p
OCTAVO: |--- (t Ú Ø s) ® r
- -1 Ø r
® q
- -2 t ®
Ø q
- -3 Ø s
® Ø q
NOVENO: |--- t ® Ø ( p Ú q)
- -1 Ø s
Ú Ø p
- -2 q ®
Ø r
- -3 t ® (s
Ù r)
DECIMO: |--- Ø q ® ( t Ù s)
- -1 r ® s
- -2 s ® q
- -3 r Ú (s
Ù t)
UNDECIMO: |--- (pÙ q) ® (s Ù t)
- -1 r Ú s
- -2 Ø
t ® Ø p
- -3 r ®
Ø q
DUODECIMO: |--- s ® ( p Ú q)
- -1 s ® t
- -2 r ® p
- -3 t ® r
DECIMOTERCERO: |--- Ø ( p Ú r) ® t)
- -1 q ® p
- -2 t Ú s
- -3 q Ú
Ø s
DECIMOCUARTO: |--- E ® K
- -1 (E Ú F)
® G
- -2 J ®
Ø G
- -3 J Ú K
DECIMOQUINTO: |--- (Ø x
®
Ø s)
- -1 p Ú t
- -2 ( r Ú s )
®
(t Ú w)
- -3 Ø q
Ú s
- -4 p ® r
- -5 t ® r
- -6 t ® x
- -7 w ®
Ø
(r Ú s)
DECIMOSEXTO: |--- Ø p
® q
- -1 r Ù
Ø s
- -2 t ®
(v Ú w)
- -3 v ® p
- -4 w ® q
- -5 r ® t
DECIMOSEPTIMO: |--- p ® s
- -1 Ø q
®
Ø p
- -2 p ®
(q ® r)
- -3 Ø
( r ® s)
®
Ø q
DECIMOOCTAVO: |--- Ø
(Ø p
Ú
Ø q)
®
(r Ús)
- -1 p ® r
- -2 Ø
(Ø p
Ú
Ø q)
®
(r Ús)
DECIMONOVENO: |--- t ®
Ø
( p Ú q)
- -1 Ø s
Ú
Ø p
- -2 q ® r
- -3 t ®
(s Ù r)
VEINTE: |--- s ® t
- -1 (p Ú
Ø q)
® r
- -2 Ø p
® t
- -3 s ®
Ø q
- -4 r ® q
VEINTEIUNO: |--- p ®
( r ® t)
¿Quieres conocer la Solución?
Mundo Lógica