La forma generale della funzione di verità è: [,
, N()].
Questa è la forma generale della
proposizione
6.001 Questo non dice altro se non che ogni proposizione è
un risultato dell'applicazione successiva dell'operazione N() alle
proposizioni elementari
6.002 Se è data la forma generale nella quale una
proposizione è costruita, con ciò stesso è già data anche la forma generale,
nella quale, da una proposizione, ne può essere prodotta un'altra mediante
un'operazione.
6.01-6.03
6.1 - 6.5