Guanabara.info: Podcast, Tecnologia, iPhone, Notícias, Tutoriais, Vídeo Aulas, Programação

Segundo definição da Wikipedia:

“A lógica (do grego clássico ??????, que significa palavra, pensamento, idéia, argumento, relato, razão lógica ou princípio lógico), é uma ciência de índole matemática e fortemente ligada à Filosofia. (…) Assim, a lógica é o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar.”

A Lógica Matemática é o uso da lógica para entender o raciocínio matemático, usando  princípios que permitem distinguir raciocínios válidos de outros não válidos. Ou seja, pode ser considerada como a ciência do raciocínio e da demonstração, algo que vai muito além do simples “verdadeiro e falso”.

Esse tipo de raciocínio é mais importante do que parece. Um dos exemplos mais práticos é o uso na programação, nas expressões condicionais. Fica muito mais claro e rápido desenvolver e compreender expressões lógicas. Além disso, desenvolve-se o raciocínio da demonstração – demonstrar um raciocínio logicamente, tanto na informática, na matemática ou no dia-a-dia.

Vou colocar alguns princípios da lógica, pois é algo que realmente vale a pena conhecer.

Proposições

Primeiro, alguns princípios mais simples sobre a lógica. O primeiro deles, o conceito de uma proposição.

Precisamos considerar que uma proposição é um conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo.

Ex: Gustavo Guanabara é professor.
O carro da estudande é azul.
O pato está ausente.

Toda proposição pode ser verdadeira, ou pode ser falsa. Não existe uma terceira opção. Esse é o princípio da não-contradição. Além disso, ela não pode ser verdadeira e falsa ao mesmo tempo (isso não é física quântica). Ou seja, Gustavo Guanabara não pode ser e não ser professor ao mesmo tempo. Chamamos isso de princípio do terceiro excluído.

Diz-se então que uma proposição verdadeira possui valor lógico V (verdade) e uma proposição falsa possui valor lógico F (falso). As proposições simples são sempre indicadas por letras latinas minúsculas, sendo mais comuns as letras p, q, r, s…

Exemplos:

p: ” 3 + 5 = 2 ” ( F )
q: ” 7 + 5 = 12″ ( V)
r: ” O Sol é um planeta” ( F )
s: ” Um pentágono é um polígono de dez lados ” ( F )

Negação

O símbolo ~ representa uma negação lógica, e inverte o valor da proposição. Ou seja, temos a falsidade caso a proposição seja verdadeira e a veracidade se a proposição for falsa.

Se p é verdadeiro, (~p) é falso. Se q é falso, (~q) é verdadeiro.

Logicamente, podemos perceber que negar uma negação é o mesmo que escrever a própria proposição. Imagine o valor de (~(~q))… se estamos negando novamente uma proposição que já foi negada, temos de novo o valor da proposição.

Operações lógicas

Podemos formar novas proposições compostas através de outras proposições através de operações lógicas, usando os chamados conectivos. Os conectivos são símbolos. Veja abaixo:

^(e) – representa uma conjunção
A Terra é redonda e a neve é branca – p ^ q
No caso p e q são conjuntos

v (ou) – representa uma disjunção
A Terra é redonda ou a neve é branca – p v q
No caso p e q são disjuntos

-> (se… então) – representa uma implicação
Se a Terra é redonda, então a neve é branca – p -> q
No caso p é o antecedente e q é o consequente

<-> (se e somente se) – representa uma bi-implicação
A Terra é redonda se e somente se a neve é branca (p<-> q)
No caso p é o antecedente e q é o consequente

Talvez a lógica do “e” do “ou” não seja difícil de compreender, ainda mais para quem já está acostumado com algoritmos e programação.

Na prática, quando temos proposições unidas pelo conectivo “e”, o valor da proposição final é o seguinte:

- Verdadeiro quando somente os valores de todas proposições que a formam forem verdadeiros
- Falso nos demais casos.

Quando o conectivo usado é o “ou“, o valor da proposição final é:

- Verdadeiro quando pelo menos uma proposição é verdadeira,
- Falso quando o valor de todas as proposições é falso.

Tabela Verdade

Conhecendo os valores lógicos das proposições nas operações, podemos fazer uma determinação dos valores lógicos das proposições compostas através da chamada Tabela Verdade.

O procedimento é simples. O número de linhas que a tabela vai ter é sempre igual a 2 elevado ao número de proposições simples que existem na proposição composta. A idéia é sempre ir intercalando os valores de verdadeiro e falso de cada proposição, de forma que tenhamos todas as possibilidades. Veja só:

1- Tabela Verdade de  ~ p :

Temos só uma proposição, que é “p”. Então, temos 2¹ = 2 linhas de tabela. Escrevemos os valores possíveis de “p”, e em seguida analisaremos o valor da proposição “~p” de acordo com os valores de “p”.

Simplesmente negamos o valor de “p” e escrevemos o resultado na coluna da proposição “~p”.

Essa foi bem simples. Uma mais complicada:

2 – Tabela Verdade de (q v p) ^p

São duas proposições, “p” e “q”, então temos 2² = 4 linhas de tabela. Vamos primeiro verificar os valores da primeira operação, entre parênteses, e com os resultados dela analisar a segunda operação, sempre começando escrevendo os valores de cada proposição.

Escrevendo os valores de “p” e de “q”, fizemos os resultados de ” q v p”. E usamos essa coluna de resultados com a dos valores de “p” para fazer “(q v p) ^p”.

Claro que a brincadeira pode ir muito mais longe do que isso. Misturando mais proposições e outros conectivos, a coisa fica realmente interessante. Bem, espero que tenham gostado desse artigo sobre lógica matemática, e se tiver ua boa aprovação eu continuo com mais posts sobre o assunto. Abraços, galera.