### Navigation

- index
- modules |
- Symbolic Logic »

# Index – S

sage.logic.booleval (module) sage.logic.boolformula (module) sage.logic.logic (module) sage.logic.logicparser (module) sage.logic.logictable (module) | sage.logic.propcalc (module) satformat() (sage.logic.boolformula.BooleanFormula method) simplify() (sage.logic.logic.SymbolicLogic method) statement() (sage.logic.logic.SymbolicLogic method) SymbolicLogic (class in sage.logic.logic)

### Navigation

- index
- modules |
- Symbolic Logic »