EJERCICIOS CON REGLAS DERIVADAS Y REDUCCIÓN AL ABSURDO
Derivación de los Ejercicios siguientes
PRIMERO: |--- Ø p
- -1 Ø (p Ù q)
- -2 p ®
- -3 q Ú
Ø r
SEGUNDO: |--- Ø T
- -1 T ® Ø S
- -2 F ®
Ø T
- -3 S Ú T
TERCERO: |--- r
- -1 Ø
(p Ù q)
- -2 Ø r
® q
- -3 Ø p
® r
CUARTO: |--- Ø
(A Ù D)
- -1 A ®
(B Ú C)
- -2 B ® ØA
- -3 D ®
Ø C
QUINTO: |--- Ø E Ú M
- -1 S Ú O
- -2 S ®
Ø E
- -3 O ® M
SEXTO: |--- Ø t
- -1 p Ú q
- -2 t ®
Ø p
- -3 Ø
(q Ú r)
SEPTIMO: |--- Ø (t Ú s)
- -1 Ø R
Ú Ø B
- -2 (T Ú S)
® R
- -3 B Ú
Ø S
- -4 Ø T
OCTAVO: |--- Ø p
- -1 p ®
Ø s
- -2 s Ú
Ø r
- -3 Ø
(t Ú Ø r)
NOVENO: |--- Ø s
Ú
Ø t
- -1 Ø p
®
Ø s
- -2 Ø p
Ú r
- -3 r ®
Ø t
DECIMO: |--- s Ú r
- -1 Ø r
®
p Ú q
- -2 Ø
( Ø p
Ú r)
® s
- -3 Ø p
®
Ø q
UNDECIMO: |--- Ø
(p Ù
Ø
(p Ù q)
- -1 r ® t
- -2 t ®
Ø s
- -3 (r ®
Ø s)
® q
DUODECIMO: |--- Ø
(t Ú s)
- -1 Ø r
Ú
Ø q
- -2 (t Ú s)
® r
- -3 (q Ú
Ø s)
- -4 Ø t
DECIMOTERCERO:(Aplicar solamente derivadas)
|--- Ø
(s Ù
Ø r)
- -1 p ®
Ø q
- -2 r ®
Ø s
- -3 q Ù r
- -4 p Ú r
DECIMOCUARTO: |--- Ø
(q Ù r)
- -1 p ®
Ø q
- -2 Ø
(r Ù
Ø p)
DECIMOQUINTO: |--- r Ú s
- -1 p Ú
Ø(
Ø q
Ù
Ø r)
- -2 Ø p
Ù
Ø q
DECIMOSEXTO: |--- Ø
( Ø q
Ù
Ø t)
- -1 s ® r
- -2 s Ú p
- -3 p ® q
- -4 r ® t
¿Quieres conocer la Solución?
Mundo Lógica