Hi all. How would I prove the following conditional statement is a tautoloogy without using truth tables? [(p->q)/\(q->r)]->(p->r) Thanks in advance. Also, does anyone know if it would it be possible to use a Maple command to solve this one?
Follow Math Help Forum on Facebook and Google+
View Tag Cloud