A language that is a subset of the language of propositional logic may be

defined as follows:

::$=$

:: $=$ OR $|$

AND $|$

$->|$

$|$

:: $=$ TRUE $|$ FALSE

:: $=$ a $|$ b $|$ c $|...|$ z