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.
b . (p V q) -> r, r -> (s
V t), t ->u, ¬s & ¬u |- ¬q
solución
;-)
|