implication

sage_learner
21 ●4

5206 ●3 ●43 ●114

Hello !

I wish to know how implication works in sage. In mathematica "Implies[True, False]" gives true.

In sage I wrote "true.implies(false)" it gives attribute error : "'bool' object has no attribute implies"

May I know How I should use implies in sage ?

Thanks.

1 Answer

Sort by » oldest newest most voted

Eviatar Bach
748 ●15 ●37 ●52

Hello,

Shouldn't it return false if the proposition is true and the conclusion false (http://en.wikipedia.org/wiki/Material...

Here's how to use it in Sage:

sage: f = sage.logic.propcalc.formula('p->q')
sage: f.evaluate({'p':True, 'q':False})  
False

Thank you. Yes you are right , it is my mistake. Mathematics gives False for that implication.

sage_learner ( 2013-01-14 04:59:09 +0100 )edit

Please start posting anonymously - your entry will be published after you log in or create a new account.

1 follower

Asked: 2013-01-08 08:28:30 +0100

Seen: 540 times

Last updated: Jan 12 '13