LÓGICA DE ENUNCIADOS O PROPOSICIONAL


EJERCICIOS: DERIVACIÓN


1. Formaliza y resuelve los siguientes argumentos utilizando las reglas básicas y derivadas:

a. Si me dices que nunca has hecho mal mientes y, si mientes, eres malo.
Si me dices que has hecho mal, eres malo y, si eres malo, no eres totalmente ético por haber sido malo.
Digas lo que digas, no eres totalmente ético.

Solución ;-)

b . (p V q) -> r, r -> (s V t), t ->u, ¬s & ¬u |- ¬q

solución ;-)