voorbeeld 1
Universele en existentiële kwantoren:
lineaire representatie
voor♦alle♦x
er♦is♦een♦x
De voorbeelden tonen de weergave van enkele begrippen uit de logica. Dit is geen uitputtende opsomming. De symbolenlijst voorin een boek beschrijft de symbolen die in dat boek voorkomen.
Universele en existentiële kwantoren:
voor♦alle♦x
er♦is♦een♦x
{-p dat wil zeggen 'niet p'
p♦en♦q
p♦of♦q
Toelichting bij {-p : dit geeft een streep boven p aan, zie Overstrepingen