Propositional Logic

22 items

• Calculi/
• Normal Form/
• Resolution Calculus/
• SAT/
• Atom
• Disjunktion
• Implikation
• Inference Rule
• Interpretation Function
• Konjunktion
• Labeled Formula
• Local Hypothesis
• Logical Equivalences
• Negative Literal
• Opposite Literal
• Positive Literal
• Propositional Logic
• Semantics of Propositional Logic
• Syntax of Propositional Logic
• Universe
• Value Function
• Variable Assignment