Indholdsfortegnelse
3 relationer: Kvantor, Lodret streg, Logisk operator.
Kvantor
I logik betegner kvantifikation mængden af eksempler inden for diskursområdet, der tilfredsstiller en åben formel.
Lodret streg
Den lodrette streg (|) er et typografisk symbol, der bruges i mange sammenhænge – især inden for matematisk notation og datalogi.
Se Disjunktion og Lodret streg
Logisk operator
En logisk operator er en afbildning, en vigtig del af de formelle sprog der kaldes formel logik (og ofte andre formelle sprog).