# Category:Language of Propositional Logic

Jump to navigation
Jump to search

This category contains results about **the language of propositional logic $\LL_0$**.

Definitions specific to this category can be found in Definitions/Language of Propositional Logic.

In order to define $\LL_0$, it is necessary to specify:

- An alphabet $\AA$
- A collation system with the unique readability property for $\AA$
- A formal grammar (which determines the WFFs of $\LL_0$)

## Pages in category "Language of Propositional Logic"

The following 8 pages are in this category, out of 8 total.