Hi, Some Prologs are suited : P3 or P4 This is not really the answer, but may help. - When you submit the following expression to a logical system (like PIII), you get the "normal" behavier: P=>Q & P=>R - and if you constrain the following equivalence P => (Q & R) = (P => Q) & (Q => R) you get : P | R = true. ((P or R) must be true) - An example : "it rains => cloudy & wet". but not "cloudsy=> wet" ? Cheers. Alex phiroc_at_free.fr a écrit : >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 > > >_______________________________________________ >ECLiPSe-Users mailing list >ECLiPSe-Users_at_crosscoreop.com >http://www.crosscoreop.com/mailman/listinfo/eclipse-users > > > -- Aleksander S. Saidi Maître de Conférences Ecole Centrale de Lyon Département Mathématiques-Informatique Mél : Alexandre.Saidi_at_ec-lyon.fr Tél : 04.72.18.65.30, Fax : 04.78.33.16.15
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:57 CET