Ejercicios de LÓGICA (primero de bachillerato)

Ejercicio 7.2

1)p>q
2) r v s
3)s> no q
4)no r
5)s SD. 2,4
6)no q MP. 3,5
7)no p MT. 1,6

Ejercicio 7.3
1)p<>q
2)q v r
3)p> no s
4)s
5)no p MT. 3,4
6)q>p RB, 1
7)no q MT. 5,6
8)r SD. 2,7


Ejercicio 7.4
1)p>q
2)q>r
3)p
4)p>r RT. 1,2
5)r MP. 3,4
6)r v s ID. 5


Ejercicio 8.1
1)p>q
2)p<> (r v s)
3)r
[Conclusión: q]
4)(r v s)> p RB. 2
5)r v s ID. 3
6)p MP. 4,5
7)q MP. 1,6