Valor de verdade: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Ajustes |
m corrigindo ligações, replaced: lógica multivalorada → Lógica Multivalorada utilizando AWB |
||
Linha 13:
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 é, [[frase]]s que são declarativas e os únicos valores de verdade possíveis de a conotarem são [[verdade]]iro ou [[falso]]. Entretanto, outros valores são possíveis em [[
Por exemplo, considere a [[proposição]]:
Linha 40:
*{{Link||2=http://plato.stanford.edu/entries/logical-constants/ |3=Artigo sobre constantes lógicas |4=na [[Stanford Encyclopedia of Philosophy]]}}
*{{Link||2=http://math.andrej.com/2005/05/16/how-many-is-two/ |3=Weblog entry "How many is two?" |4=Artigo de [[Andrej Bauer]] que discute a relação entre truth values in intuitionistic logic and topos theory on the one hand and classical logic on the other.}}
{{Verdade lógica}}
| |||