Wittgenstein

Le funzioni di verità d’ogni numero di proposizioni elementari possono scriversi in uno schema della seguente specie:

(VVVV) (p, q) Tautologia (Se p, allora p; e se q, allora q.)

(FVVV) (p, q) in parole: Non e p e q. (~(p . q))

(VFVV) (p, q) in parole: Se q, allora p.

(VVFV) (p, q) in parole: Se p, allora q.

(VVVF) (p, q) in parole: p o q. (p v q)

(FFVV) (p, q) in parole: Non q. (~q)

(FVFV) (p, q) in parole: Non p. (~p)

(FVVF) (p, q) in parole: p o q, ma non ambedue. (p .~q:v:q .~p)

(VFFV) (p, q) in parole: Se p, allora q; e se q, allora p.

(VFVF) (p, q) in parole: p

(VVFF) (p, q) in parole: q

(FFFV) (p, q) in parole: Né p né q. (~p .~q, o p | q)

(FFVF) (p, q) in parole: p e non q. (p .~q)

(FVFF) (p, q) in parole: q e non p. (q .~p)

(VFFF) (p, q) in parole: q e p, (q . p)

(FFFF) (p, q) Contraddizione (p e non p; e q e non q) (p .~p . q . ~q)

Quelle possibilità di verità degli argomenti di verità della proposizione le quali la verificano, le chiamerò i fondamenti di verità della proposizione.

Wittgenstein, Tractatus logico-philosophicus, pp. 58 - 65