Funktionen v(P) är en sanningsfunktion som kan anta värdena 1 (sann) och 0 (falsk) och vars värde beror av satsen P. De logiska konnektiven kan definieras på följande sätt:
| negation (inte) | 1-v(P) |
| konjunktion (och) | v(P)·v(Q) |
| disjunktion (eller) | v(P)+v(Q) - v(P)·v(Q) |
| implikation | 1-v(P) + v(P)·v(Q) |
| ekvivalens | 1 -v(P)·(1-v(Q)) - v(Q)·(1-v(P)) |