Por: Elisa Cunha e Marlia Viana, Dbora Santos e talo Furtado

lgica uma cincia de ndole matemtica e fortemente ligada Filosofia. Tradicionalmente, lgica tambm a designao para o estudo de sistemas prescritivos de raciocnio, ou seja, sistemas que definem como se "deveria" realmente pensar para no errar, usando a razo, dedutivamente e indutivamente.
A

Lgica Matemtica o uso da lgica formal para estudar o raciocnio matemtico ou, como prope Alonzo Church, 'lgica tratada pelo mtodo matemtico'. No incio do sculo XX, lgicos e filsofos tentaram provar que a matemtica, ou parte da matemtica, poderia ser reduzida lgica.

Lgica Matemtica definida tendo como princpios bsicos: o princpio da no contradio e o princpio do terceiro excludo. O Princpio da no contradio diz que uma proposio no pode ser falsa e verdadeira simultaneamente. O Princpio do terceiro excludo quer dizer que toda proposio ou verdadeira ou falsa, no assumindo outro valor lgico.
A

- Todo evento tem uma causa. 2 O Universo teve um comeo. 3 Comear envolve um evento. 4 Isso implica que o comeo do Universo envolveu um evento. 5 Logo, o comeo do Universo teve uma causa. 6 Logo, O Universo teve uma causa.
1

Existem duas caixas, "A" e "B". Um aviso na caixa A diz "O aviso na caixa B verdadeiro e o ouro est na caixa A". Um aviso na caixa B diz "O aviso na caixa A falso e o ouro est na caixa A". Assumindo que existe ouro em uma das caixas, qual delas contm o ouro? Pela afirmao (1) tem-se a seguinte situao: o aviso em B verdadeiro e o ouro est em A. Com a afirmao (2) tem-se o seguinte: o aviso em A falso e o ouro est em A .

Caixa A

Considerando que aps as duas afirmaes o aviso em A falso, ento o "ouro" no est em A e obviamente est em B.

Caixa B

 Lgica

, como termo formal , vem de Aristteles , e indica uma forma de se pensar corretamente sobre determinado assunto . No se refere a nada concreto , especificamente , nem a algo particular , s um nome dado forma de pensamento.