# Propositional Logic Language

Jump to navigation
Jump to search

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):****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 Γ.

- 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