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.)