Aussagenlogik/Sprache/Aussagen/1/Beispiel

Es seien ${}p,q,r$ Aussagenvariablen. Dann sind beispielsweise

$p,\,\neg (p),\,\neg (\neg (\neg (p))),\,(p)\wedge (\neg (q)),\,((p)\wedge (\neg (q)))\wedge (\neg (r)),\,(((\neg (\neg (p)))\rightarrow (\neg (q)))\vee ((\neg (r)))\leftrightarrow (\neg (r))\wedge (q))$

korrekt gebildete Aussagen, d.h. sie gehören zu ${}L^{V}$. Dagegen sind

$\neg ,\,\rightarrow ,\,p\wedge ,\,p\wedge q,\,(p)\wedge (\neg q,\,(p)\wedge (q)\wedge (r),\,$

keine Aussagen in ${}L^{V}$ (aber natürlich Wörter über dem gegebenen Alphabet).