Question

Descubre mediante el procedimiento de tablas de verdad si estas fórmulas son tautológicas, indeterminadas o contradictorias.

1. p ^ q --> p
2. p v p --> r
3. p v (q --> r)
4. (p --> q) ^ (q --> r) --> (p --> r)
5. p --> (q --> r)
6. p v q --> (r v s --> p)
7. p ^ q --> q ^ p
8. (p --> q) ^ p --> q
9. (p --> q) ^ p ^ ¬q
10. (p --> q) ^ (p --> q)

Answer 1

que es esoooooooooooo9