Template:Individual-TLP-paragraph-fr-4.442
4.442 Par exemple :
«
p | q | |
---|---|---|
V | V | V |
F | V | V |
V | F | |
F | F | V |
»
est un signe propositionnel.
(Le « signe de jugement » frégéen « » est dépourvu de signification logique ; il montre simplement chez Frege (et Russell) que ces auteurs tiennent pour vraies les propositions ainsi désignées. « » n'appartient donc pas davantage à la construction propositionnelle que, par exemple, son numéro. Il n'est pas possible qu'une proposition dise d'elle-même qu'elle est vraie.)
Si la suite des possibilités de vérité dans le schéma est une fois pour toute fixée par une règle de combinaison, la dernière colonne suffit à exprimer les conditions de vérité. En écrivant cette colonne sous forme de ligne, le signe propositionnel devient : « (VV–V) (p,q) » ou plus clairement : « (VVFV) (p,q) ». (Le nombre des places dans les parenthèses de gauche est déterminé par le nombre des membres dans celles de droite.)