Axm

Valor-verdade


term: Valor-verdade summary: 'O status de uma proposição: verdadeiro ou falso. A resposta à pergunta "isso é verdade?".' relatedModules: [history-of-logic, propositional-logic] seeAlso: [proposicao]

Definição

O status de uma proposição: verdadeiro ou falso.

Intuição

A "resposta" à pergunta isso é verdade?.

Registro computacional

O valor True ou False que uma expressão booleana carrega.

Notação

VV ou TT ou 11 para verdadeiro; FF ou \bot ou 00 para falso.