Navigation
index
modules
|
Sage 9.4 Reference Manual: Symbolic Logic
»
Index
Index – I
iff() (sage.logic.boolformula.BooleanFormula method)
ifthen() (sage.logic.boolformula.BooleanFormula method)
implies() (sage.logic.boolformula.BooleanFormula method)
is_consequence() (in module sage.logic.boolformula)
(sage.logic.boolformula.BooleanFormula method)
is_contradiction() (sage.logic.boolformula.BooleanFormula method)
is_satisfiable() (sage.logic.boolformula.BooleanFormula method)
is_tautology() (sage.logic.boolformula.BooleanFormula method)
Quick search
Navigation
index
modules
|
Sage 9.4 Reference Manual: Symbolic Logic
»
Index