Valor de verdade: diferenças entre revisões

são, dependendo da interpretação (quem é Jackson ?, o que é lógica?, o que significa gostar?, etc.), verdadeiras ou falsas.

A [[lógica proposicional]] clássica é um dos exemplos mais simples de [[lógica formal]]. Esta [[lógica]] leva em conta, somente, os valores de verdade (verdadeiro ou falso) e a forma das [[proposição|proposições]].

O [[argumento]], objeto de estudo da [[lógica clássica]], é uma [[entidade]] composta de entidades mais simples chamadas [[proposição|proposições]], isto é, [[frasesfrase]]s que são declarativas e os únicos valores de verdade possíveis de a conotarem são [[verdade|verdadeiro]] ou [[falso]]. Entretanto, outros valores são possíveis em [[lógicaslógica multivaloradasmultivalorada]] como, por exemplo, a [[Lógica difusa|lógica difusa]], que usa mais valores de [[verdade]] do que simplesmente [[verdade]] ou [[falso|falsidade]].

Esta frase é uma [[proposição]] no sentido de que ela é uma asserção declarativa, ou seja, afirma ou nega um fato, e tem um valor de verdade, que pode ser verdadeiro ou [[falso]]. Neste caso, o valor de verdade vai depender de vários fatores, como o local sobre o qual se está falando e de quem está avaliando. Ou seja, valor de verdade de uma [[proposição]] não é um conceito absoluto, mas depende de um contexto interpretativo.

Na [[álgebra]], o [[conjunto]] {verdadeiro, falso} formamforma uma [[álgebra booleana]] com dois elementos. Esta é importante na sua teoria geral das álgebras booleanas, pois uma equação envolvendo diversas variáveis é verdadeira em todas as [[álgebra booleana|álgebras booleanas]] se, e somente se, é verdadeira na álgebra booleana de dois elementos. Outros tipos de álgebrasálgebra podem ser usadas como conjuntos de valores de verdade em [[lógicas não-clássicas]], por exemplo, a [[lógica intuicionista]] usa álgebras de [[Heyting]].

* [http://math.andrej.com/2005/05/16/how-many-is-two/ Weblog entry "How many is two?"] byArtigo de [[Andrej Bauer]] discussingque discute thea relationshiprelação betweenentre truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.