| (VVVV) (p,q) |
Tautologia (Se p, allora p; e se q, allora
q.)
Tautology (if p
then p, and if q then q) |
[p =| p. q =|
q] |
| (FVVV) (p,q) |
in parole: Non e p e q.
in words: Not both p
and q. |
[~(p . q)] |
| (VFVV) (p,q) |
in parole: Se q, allora p. |
(q =| q) |
| (VVFV) (p,q) |
in parole: Se p, allora q. |
(p =| q) |
| (VVVF) (p,q) |
in parole:
p o q
p or 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 or q, but not both. |
[p . ~q :v: q . ~p] |
| (VFFV) (p,q) |
in parole: Se p, allora q; e se q, allora p..''
If p, then q; and if q, then p. |
[p - - - q] |
| (VFVF) (p,q) |
in parole: p |
|
| (VVFF) (p,q) |
in parole: q |
|
| (FFFV) (p,q) |
in parole: Nè p né q.
Neither p nor q. |
[~p . ~q
or p | q] |
| (FFVF) (p,q) |
in parole: p e non q. |
( p. ~ q) |
| (FVFF) (p,q) |
in parole: p 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)
Contradiction (p
and not p; and q and not q.) |
[p . ~p . q . ~q] |
|
Those
truth-possibilities of its truth-arguments, which verify the proposition,
I shall call its truth-grounds |
Quelle possibilità di verità degli argomenti
di verità della proposizione le quali la verificano, le chiamerò i
fondamenti di verità della proposizione. |
|