LÓGICA PARA EL FIN DE SEMANA

Os dejo otros tres ejercicios para que practiquéis las reglas que llevamos estudiadas:

1º)

-1  (p V q) --> (r V s)       |- ¬ ( ¬ r ^ ¬ s)

-2   ¬ p --> t

-3 ¬ t ^ u

2º)

-1 p --> q                       |- ¬ ( pV t)

-2 (r V s) --> ¬ q

-3 t V s

-4 ¬ t

3º)

-1 ( p V q) --> ¬ r           |- ¬ q ^ u

-2 r V s

-3 t --> ¬ s

-4 ¬ (¬ t V ¬ u)


Las soluciones AQUÍ