Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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

Here's how to use it in Sage:

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

Hello,

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

Here's how to use it in Sage:

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