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?
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?