Propositional Logic Language

A Propositional Logic Language is a logic language that allows the expression of propositional logic sentences.

• AKA: Γ.
• Context:
  • It can be generated by a Propositional Logic Grammar.
  • It can be used to create a Propositional Logic Program.
  • …
• Counter-Example(s):
  • a First-Order Logic Language.
• See: Propositional Logic Operation Set, Prolog.

---

---

References

2005

• (Goldrei, 2005) ⇒ Derek Goldrei. (2005). “Propositional and Predicate Calculus: A Model of Argument." Springer.
  • QUOTE: We are about to describe a formal proof system and say what is meant by a formal derivation of a formula. Our aim is that the formal system should match logical consequence. For a set Γ of formulas and a formula ϕ, we write Γ |= ϕ to express that ϕ is a logical consequence of Γ. We can record Γ as a set of assumptions from which ϕ follows. We shall use the similar notation Γ |- ϕ to express that there is a formal derivation of ϕ from Γ.

---