Question: logically equivalent command in Maple

Hi

I am trying to learn the logically equivalent command in Maple.

[(p->q)^(q->r)]->(p->r)

I wish I could post my maple file.

Any suggestions are going to be highly appreciated.

Thanks
 

Please Wait...