Valor de verdade: diferenças entre revisões

Na [[álgebra]], o [[conjunto]] {verdadeiro, falso} forma uma [[álgebra booleana]] com dois elementos. Esta é importante na sua teoria geral, pois uma equação envolvendo diversas variáveis é verdadeira se, e somente se, é verdadeira na álgebra booleana de dois elementos. Outros tipos de á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]].

 

 

 

 

 

{{DEFAULTSORT:Valor Verdade}}