Services & ResourcesWolfram ForumsMathGroup Archive

[Date Index] [Thread Index] [Author Index]

Re: logical simplification problem

• To: mathgroup at smc.vnet.net
• Subject: [mg101451] Re: [mg101442] logical simplification problem
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Wed, 8 Jul 2009 07:06:37 -0400 (EDT)
• References: <200907071147.HAA27538@smc.vnet.net> <BCFE1FAF-FBEA-4868-B510-DF417CE3289F@mimuw.edu.pl>

Sorry: Part 2 should have also contained Equivalent:

Simplify[Equivalent[p && Implies[p, q], p && q]]
True

Andrzej Kozlowski


On 7 Jul 2009, at 21:39, Andrzej Kozlowski wrote:

>
> On 7 Jul 2009, at 20:47, olfa wrote:
>
>> Hi mathematica community,
>> if it does not exist as predefined function in mathematica, how to
>> define a rule that illustrate this logical property: if p implies q
>> then p || q is simplified into q and p&&q is simplified into p?
>> Thank you for your help.
>>
>
> Part 1.
>
> Simplify[Equivalent[(p || q) && Implies[p, q], q]]
> True
>
> Part 2.
>
> Simplify[Implies[p && Implies[p, q], p && q]]
> True
>
> Andrzej Kozlowski

• References:
  • logical simplification problem
    • From: olfa <olfa.mraihi@yahoo.fr>