Template:Individual-TLP-paragraph-pt-br-4.442
4.442 Por exemplo:
“
p | q | |
---|---|---|
V | V | V |
F | V | V |
V | F | |
F | F | V |
”
é um signo proposicional.
(O “traço de juízo” “⊢”, introduzido por Frege, do ponto de vista lógico carece inteiramente de denotação; indica em Frege (e Russell) que tais autores tomam como verdadeiras as proposições assim designadas. “⊢” pertence tão pouco à construção da proposição como, por exemplo, a numeração das proposições. Uma proposição não pode, de forma alguma, assertar de si mesma que é verdadeira.)
Se as séries de possibilidades de verdade forem fixadas de vez no esquema, por meio de uma regra de combinação, a última coluna por si só já exprime as condições de verdade. Ao escrevermos esta coluna como série, o signo proposicional será o seguinte: “(VV–V) (p, q)”, ou de modo mais nítido “(VVFV) (p, q)”.
(O número de posições no interior dos parênteses da esquerda está determinado pelo número de têrmos dos da direita.)