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