Revisão das 22h42min de 24 de março de 2017 editar 2804:d59:2679:9100:fc7b:2db4:c6ff:ddbe (discussão) →‎Lógica formal ← Ver a alteração anterior		Revisão das 22h55min de 24 de março de 2017 editar desfazer Papa Christus (discussão \| contribs) 7 014 edições m Foram revertidas as edições de 2804:D59:2679:9100:FC7B:2DB4:C6FF:DDBE para a última revisão de He7d3r, de 11h05min de 25 de fevereiro d... Ver a alteração posterior →
Linha 50: Esta declaração define que ''p'' é 1 + 2 = 3 e que isso é ''verdadeiro''. Duas proposições --ou mais proposições-- podem ser combinadas por meio dos ~~cha$mados~~chamados ''[[operadores lógicos]]'' [[binários]] , formando ''[[conjunção lógica\|conjunções]]'', ''[[disjunção lógica\|disjunções]]'' ou ''[[Condicional material\|condicionais]]''. Essas proposições combinadas são chamadas '''proposições compostas'''. Por exemplo: :p: 1 + 1 = 2 ''e''

Lógica: diferenças entre revisões