EJERCICIOS CON REGLAS BÁSICAS
Derivación de los Ejercicios siguientes

PRIMERO:
|---r
  1. p
  2. q
  3. (p Ù q) ® r
SEGUNDO:
|---r
  1. p
  2. q
  3. (p Ú q) ® r
TERCERO:
|---r
  1. p
  2. (p Ú q) ® r
CUARTO:
|---r
  1. (p Ù ( q Ù r)
QUINTO:
|---t
  1. p Ù (q Ú r)
  2. (p Ú r) ® (s Ù t)
SEXTO:
|---Ø ( s Ù t)
  1. (p Ú q) ®Ø ( s Ù t)
  2. p
SEPTIMO:
|---r
  1. p ® (q ® r)
  2. ( p Ù q)
OCTAVO:
|---s ® t
  1. q ® [(r ® (s ® t)]
  2. ( q Ù r)
NOVENO:
|---q
  1. p
  2. (p Ú r) ® s)
  3. s ® (t Ù q)

¿Quieres conocer la Solución?
Mundo Lógica























































































































































SOLUCIÓN DE EJERCICIOS CON REGLAS BASICAS

PRIMERO:
|---r

  1. p
  2. q
  3. (p Ù q) ® r
  4. (p Ù q) [IC 1,2]
  5. r [MP 3,4]
SEGUNDO:
|---r
  1. p
  2. q
  3. (p Ú q) ® r
  4. (p Ú q)[ID 1,2]
  5. r [MP 3,4]
TERCERO:
|---r
  1. p
  2. (p Ú q) ® r
  3. (p Ú q)[ID 1]
  4. r [MP 2,3]
CUARTO:
|---r
  1. (p Ù ( q Ù r)
  2. ( q Ù r)[EC 1]
  3. r [EC 2]
QUINTO:
|---t
  1. p Ù (q Ú r)
  2. (p Ú r) ® (s Ù t)
  3. p [EC 1]
  4. (p Ú r)[ID 2]
  5. (s Ù t)[MP 2,4]
  6. t [EC 5]
SEXTO:
|---Ø ( s Ù t)
  1. (p Ú q) ®Ø ( s Ù t)
  2. p
  3. (p Ú q) [ID 2]
  4. Ø ( s Ù t) [MP 1,3]
SEPTIMO:
|---r
  1. p ® (q ® r)
  2. (p Ù q)
  3. p [EC 2]
  4. (q ® r)[MP 1,3]
  5. q [EC 2]
  6. r [MP 4,5]
OCTAVO:
|--- s ® t
  1. q ® [(r ® (s ® t)]
  2. ( q Ù r)
  3. q [EC 2]
  4. [(r ® (s ® t)] [MP 1,3]
  5. r [EC 2]
  6. s ® t [MP 4,5]
NOVENO:
|---q
  1. p
  2. (p Ú r) ® s)
  3. s ® (t Ù q)
  4. (p Ú r) [ID 1]
  5. s [MP 2,4]
  6. (t Ù q)[MP 3,5]
  7. q [EC 6]

Otros Ejercicios
Ejercicios con Reglas Básicas





























































































































































































Otros ejercicios con Reglas básicas

¿Cuáles, de las conclusiones siguientes, son válidas y cuales son inválidas?
PRIMERO:
  1. p
  2. |---(p Ú q) [ID 1]
SEGUNDO:
  1. p
  2. |---(p Ù q) [IC 1]
TERCERO:
  1. r
  2. |---(p Ú r) [ID 1]
CUARTO:
  1. p
  2. q
  3. |---(p Ù q) [IC 1,2]
QUINTO:
  1. s
  2. (s Ú t) ® q
  3. |---q [MP 2,1]
SEXTO:
  1. (q Ù r) ® s
  2. r
  3. (q Ù r)[IC 2]
  4. |---s [MP 1,3]
SEPTIMO:
  1. (q Ú r) ® s
  2. r
  3. (q Ú r)[ID 2]
  4. |---s [MP 1,3]
OCTAVO:
  1. Ø r
  2. Ø s Ù Ø r ® Ø P
  3. Ø s Ù Ø r[IC 1]
  4. |--- Ø P [MP 2,3]
NOVENO:
  1. Ø r
  2. Ø s Ú Ø r ® Ø P
  3. Ø s Ú Ø r[ID 1]
  4. |--- Ø P [MP 2,3]
DECIMO:
  1. Ø p
  2. |---q ÚØ p [ID 1]
UNDECIMO:
  1. Ø p
  2. |---q ÙØ p [IC 1]
DUOCECIMO:
  1. p
  2. |--- p Ù Ø q [IC 1]
DECIMOTERCERO:
  1. p
  2. |--- p Ú Ø q [ID 1]
DECIMOCUARTO:
  1. (r Ù s) ® t
  2. r
  3. t [MP 1,2]
DECIMOQUINTO:
  1. (r Ù s) ® t
  2. t
  3. (r Ù s) [MP 1,2]
DECIMOSEXTO:
  1. (r Ù s) ® t
  2. (r Ù s)
  3. t [MP 1,2]

¿Quieres conocer la Solución?
Ejercicios con Reglas Básicas





























































































































































































Solución a las Conclusiones Válidas o Inválidas con reglas básicas

Primero:Válido.Si no entiendes porque, deberías repasar la regla de la Introducción del Disyuntor.
Segundo:Inválido.Si no entiendes porque, deberías repasar la regla de la introducción del conjuntor
Tercero:Válido.Si no entiendes porque, deberías repasar la regla de la Introducción del disyuntor
Cuarto:Válido.Si no entiendes porque, deberías repasar la regla de la introducción del conjuntor
Quinto:Inválido.Si no entiendes porque, deberías repasar la regla del Modus Ponens
Sexto:Inválido.Si no entiendes porque, deberías repasar la regla de la Introdución del conjuntor y del Modus Ponens.
Septimo:Válido.Si no entiendes porque, deberías repasar la regla de la Introducción del Disyuntor
Octavo:Inválido.Si no entiendes porque, deberías repasar la regla de la introducción del conjuntor.
Noveno:Válido.Si no entiendes porque, deberías repasar la regla de la Introducción del disyuntor.
Décimo:Válido.Sin no entiendes porque, deberías repasar la regla de la Introducción del disyuntor.
Undécimo:Inválido.Si no entiendes porque, deberías repasar la regla de la Introducción del conjuntor.
Duodécimo:Inválido.Si no entiendes porque, deberías repasar la regla de la Introducción del conjuntor.
Decimotercero:Válido.Si no entiendes porque, deberías repasar la regla de la introducción del disyuntor.
Decimocuarto:Inválido.Si no entiendes porque, deberías repasar la regla del Modus Ponens.
Decimoquinto:Inválido. Si no entiendes porque, deberías repasar la regla del Modus Ponens
Decimosexto:Válido.Si no entiendes porque, deberías repasar la regla del Modus Ponens.

Ejercicios