Revisão das 11h05min de 25 de fevereiro de 2017 editar He7d3r (discussão \| contribs) Autorrevisores, Administradores da interface, Reversores 42 309 edições m Foram revertidas as edições de 105.168.10.100 para a última revisão de Hume42, de 20h50min de 8 de janeiro de 2017 (UTC) ← Ver a alteração anterior		Revisão das 22h42min de 24 de março de 2017 editar desfazer 2804:d59:2679:9100:fc7b:2db4:c6ff:ddbe (discussão) →‎Lógica formal 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 ~~chamados~~cha$mados ''[[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