Navigation

  • index
  • modules |
  • next |
  • Sage Reference Manual »
  • Sage 9.5 Reference Manual: Symbolic Logic »
  • Symbolic Logic

Symbolic Logic¶

  • Propositional Calculus
    • consistent()
    • formula()
    • get_formulas()
  • Boolean Formulas
    • BooleanFormula
    • is_consequence()
  • Evaluation of Boolean Formulas
    • eval_f()
    • eval_formula()
    • eval_op()
  • Module that creates and modifies parse trees of well formed boolean formulas.
    • apply_func()
    • get_trees()
    • parse()
    • parse_ltor()
    • polish_parse()
    • prefix_to_infix()
    • recover_formula()
    • recover_formula_internal()
    • to_infix_internal()
    • tokenize()
    • tree_parse()
  • Symbolic Logic Expressions
    • SymbolicLogic
    • eval()
    • eval_and_op()
    • eval_bin_op()
    • eval_iff_op()
    • eval_ifthen_op()
    • eval_ltor_toks()
    • eval_mon_op()
    • eval_or_op()
    • get_bit()
    • reduce_bins()
    • reduce_monos()
    • tokenize()
  • Logic Tables
    • Truthtable

Indices and Tables¶

  • Index

  • Module Index

  • Search Page

Table of Contents

  • Symbolic Logic
  • Indices and Tables

Next topic

Propositional Calculus

This Page

  • Show Source

Quick search

Navigation

  • index
  • modules |
  • next |
  • Sage Reference Manual »
  • Sage 9.5 Reference Manual: Symbolic Logic »
  • Symbolic Logic
© Copyright 2005--2022, The Sage Development Team. Created using Sphinx 5.3.0.