Una riduzione del numero di proposizioni primitive della logica.

Delle quattro funzioni-verità elementari necessarie nella logica, solo due

vengono prese per indefinibili nei Principia Matematica. Queste due sono state ora
definite dal sig. Sheffer nei termini di una singola funzione p | q, “p stroke q”. Io
propongo di usare la scoperta del sig. Sheffer per ridurre il numero delle proposizioni
primitive necessarie nel calcolo logico.
Esistono due forme leggermente differenti del nuovo indefinibile, perché
possiamo trattare p | q come se significhi lo stesso di ~p . ~q oppure ~p v ~q. La
definizione di ~p è la stessa in entrambi i casi, cioè p | p, mentre quella di p v q
semplicemente cambia da p/q | p/q con la forma AND a p/p | q/q con la forma OR.
Comunque la cosa migliore per noi è definire tutte e quattro le funzioni-verità
direttamente in termini della nuova. Nel fare ciò troviamo che, mentre la definizione
di ~p rimane la stessa e quelle di p v q e p . q semplicemente permutano, passando
dalla forma AND alla forma OR, la definizione di p ‫ ב‬q è più semplice nella seconda
forma. E’ p | q/q anziché p/p | q | p/p |q.
La forma OR è quindi da preferire. (Nota: perciò p | q corrisponde a quella che
è chiamata relazione Disgiuntiva negli scritti del sig. Johnson)
DEFINIZIONI
formula
OSSERVAZIONI SU QUESTE DEFINIZIONI