Navigation
index
modules
|
Sage 9.6 Documentation
»
Reference Manual
»
Symbolic Logic
»
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
I
|
L
|
M
|
P
|
R
|
S
|
T
A
add_statement() (sage.logic.boolformula.BooleanFormula method)
apply_func() (in module sage.logic.logicparser)
B
BooleanFormula (class in sage.logic.boolformula)
C
combine() (sage.logic.logic.SymbolicLogic method)
consistent() (in module sage.logic.propcalc)
convert_cnf() (sage.logic.boolformula.BooleanFormula method)
convert_cnf_recur() (sage.logic.boolformula.BooleanFormula method)
convert_cnf_table() (sage.logic.boolformula.BooleanFormula method)
convert_expression() (sage.logic.boolformula.BooleanFormula method)
convert_opt() (sage.logic.boolformula.BooleanFormula method)
D
dist_not() (sage.logic.boolformula.BooleanFormula method)
dist_ors() (sage.logic.boolformula.BooleanFormula method)
E
equivalent() (sage.logic.boolformula.BooleanFormula method)
eval() (in module sage.logic.logic)
eval_and_op() (in module sage.logic.logic)
eval_bin_op() (in module sage.logic.logic)
eval_f() (in module sage.logic.booleval)
eval_formula() (in module sage.logic.booleval)
eval_iff_op() (in module sage.logic.logic)
eval_ifthen_op() (in module sage.logic.logic)
eval_ltor_toks() (in module sage.logic.logic)
eval_mon_op() (in module sage.logic.logic)
eval_op() (in module sage.logic.booleval)
eval_or_op() (in module sage.logic.logic)
evaluate() (sage.logic.boolformula.BooleanFormula method)
F
formula() (in module sage.logic.propcalc)
full_tree() (sage.logic.boolformula.BooleanFormula method)
G
get_bit() (in module sage.logic.logic)
(sage.logic.boolformula.BooleanFormula method)
get_formulas() (in module sage.logic.propcalc)
get_next_op() (sage.logic.boolformula.BooleanFormula method)
get_table_list() (sage.logic.logictable.Truthtable method)
get_trees() (in module sage.logic.logicparser)
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)
L
length() (sage.logic.boolformula.BooleanFormula method)
M
module
sage.logic.booleval
sage.logic.boolformula
sage.logic.logic
sage.logic.logicparser
sage.logic.logictable
sage.logic.propcalc
P
parse() (in module sage.logic.logicparser)
parse_ltor() (in module sage.logic.logicparser)
polish_notation() (sage.logic.boolformula.BooleanFormula method)
polish_parse() (in module sage.logic.logicparser)
prefix_to_infix() (in module sage.logic.logicparser)
print_table() (sage.logic.logic.SymbolicLogic method)
prove() (sage.logic.logic.SymbolicLogic method)
R
recover_formula() (in module sage.logic.logicparser)
recover_formula_internal() (in module sage.logic.logicparser)
reduce_bins() (in module sage.logic.logic)
reduce_monos() (in module sage.logic.logic)
reduce_op() (sage.logic.boolformula.BooleanFormula method)
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)
T
to_infix() (sage.logic.boolformula.BooleanFormula method)
to_infix_internal() (in module sage.logic.logicparser)
tokenize() (in module sage.logic.logic)
(in module sage.logic.logicparser)
tree() (sage.logic.boolformula.BooleanFormula method)
tree_parse() (in module sage.logic.logicparser)
Truthtable (class in sage.logic.logictable)
truthtable() (sage.logic.boolformula.BooleanFormula method)
(sage.logic.logic.SymbolicLogic method)
Quick search
Navigation
index
modules
|
Sage 9.6 Documentation
»
Reference Manual
»
Symbolic Logic
»
Index