Welcome to HyLogic’s documentation!

HyLogic is a set of macros to test and automate logical expressions in Hy. Convenient propositional logic, predicate logic and first-order logic notation is supported.

Contents:

• HyLogic
  • Current status
  • Contents
    • Requirements and installation
  • Jupyter and Hy
  • HyLogic module
    • Propositional logic
  • Symbols
  • Basic axioms and theorems
    • Propositions
  • Semantical notes
  • Truth-bearer in action
  • Resolution of the famous paradox
    • Formulas
  • Connectives
    • Argumentation
  • Validation of the argument form
  • De Morgan’s laws
    • First-order logic
  • Quantifiers, predicates, variables, sets
    • Truth tables
    • Venn diagrams
  • The MIT License