[eclipse-users] Newbie: P ==> ( Q /\ R) and ( P ==> Q ) /\ ( Q ==> R )

From: <phiroc_at_free.fr>
Date: Tue, 06 Feb 2007 11:50:57 +0100
Hello,

In "Logical Reasoning: A First Course", there is an exercise in which you are
supposed to test whether P ==> ( Q /\ R) is equivalent to ( P ==> Q ) /\ ( Q ==>
R )

I have manually computed the truth table and would like to check my results with
a computer.

Is there a way to check such an equivalence in ECLiPSe or is Prolog not suited
for such boolean operations?

Many thanks.

phiroc
Received on Tue Feb 06 2007 - 09:51:48 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:57 CET