Logic

MOC - Grundlagen der Logik in der Informatik Propositional Logic

Assignment

Entailment Deduction Inference Rules Soundness Completeness

Applications

• Product configuration
• Hardware verification
• Software verification
• CSP solver

References

• Latex: https://docs.mathjax.org/en/latest/input/tex/extensions/bussproofs.html
• SAT: https://de.wikipedia.org/wiki/Erfüllbarkeitsproblem_der_Aussagenlogik
• Modus ponens https://en.wikipedia.org/wiki/Modus_ponens
• Really Nice Logic Script https://leanprover.github.io/logic_and_proof/natural_deduction_for_propositional_logic.html
• Modus ponens ←→ Axioms: https://www.quora.com/Why-is-modus-ponens-not-an-axiom-propositional-calculus-and-axioms
• Analytical Tableaux: https://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/node150.html
  • https://www.coli.uni-saarland.de/projects/milca/courses/comsem/html/node155.html#sec_inference.practical
• Admissible rules: https://math.stackexchange.com/questions/1184007/admissible-rule-in-classic-logic
• TND: https://de.wikipedia.org/wiki/Satz_vom_ausgeschlossenen_Dritten