|
negation, inte |
|
konjunktion, och |
|
disjunktion, eller |
|
(materiell) implikation, om... så... |
|
ekvivalens, om och endast om |
| p, p1, p2,..., q, q1,... | atomära satser |
| ( ) | parenteser |
Med stora bokstäver (P, Q ...) syftas i denna manual på godtyckliga (atomära eller sammansatta) satser. Dessa stora bokstäver hör inte till satslogikens alfabet, utan är metaspråkliga symboler.
Det finns alternativa tecken för de ovan definierade logiska konnektiven. Nedan några exempel:
