Ask Your Question
0

implication

asked 2013-01-08 01:28:30 -0600

sage_learner gravatar image

updated 2015-01-13 15:11:56 -0600

FrédéricC gravatar image

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.

edit retag flag offensive close merge delete

1 answer

Sort by » oldest newest most voted
1

answered 2013-01-12 14:35:10 -0600

Eviatar Bach gravatar image

updated 2013-01-12 14:35:42 -0600

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
edit flag offensive delete link more

Comments

1

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

sage_learner gravatar imagesage_learner ( 2013-01-13 21:59:09 -0600 )edit

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2013-01-08 01:28:30 -0600

Seen: 105 times

Last updated: Jan 12 '13