### Navigation

- index
- modules |
- Symbolic Logic »

# Index – I

iff() (sage.logic.boolformula.BooleanFormula method) ifthen() (sage.logic.boolformula.BooleanFormula method) implies() (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)

### Navigation

- index
- modules |
- Symbolic Logic »