Lógica Matemática
Introdução
A lógica matemática analisa determinada proposição buscando
identificar se representa uma afirmação verdadeira ou falsa.
Exemplos:
2 > 1: é uma proposição com valor lógico verdadeiro;
2 = 0: é uma proposição com valor lógico falso.
Proposições
As proposições são palavras ou símbolos que expressam um pensamento com
um sentido completo e indicam afirmações de fatos ou de ideias. Essas
afirmações assumem valores lógicos que podem ser verdadeiros ou falsos e
para representar uma proposição usualmente utilizamos as letras p e q.
São exemplos as proposições:
O Brasil está localizado na América do Sul. (proposição verdadeira)
A Terra é um dos planetas do sistema solar. (proposição verdadeira)
1/2 = 0,5 (proposição verdadeira)
A Terra é plana. (proposição falsa)
Raiz quadrada de 2 igual a 1. (proposição falsa)
Considerando a lógica matemática, uma proposição não pode ser ao mesmo tempo
verdadeira e falsa. Além disso, não existe a possibilidade de uma terceira situação
diferente de verdadeiro ou falso.
As proposições podem ser simples, quando apresentam apenas uma sentença, e
compostas quando são formadas pela combinação de duas ou mais proposições
simples.
"O céu é azul" é um exemplo de proposição simples, já a sentença "O céu é azul e as
nuvens são brancas" é um exemplo de proposição composta.
Princípio da Não-Contradição
“Uma proposição não pode ser verdadeira e falsa em simultâneo”.
Princípio do Terceiro Excluído
“Toda proposição ou é falsa, ou é verdadeira, não há uma terceira opção”.
Não são proposições:
“Maria gosta de café?”. Não podemos classificar como verdadeira ou falsa, pois
depende de uma resposta. É uma oração interrogativa.
“João, vá estudar!”. Orações imperativas não da para classificar como verdadeira
ou falsa.
Conectivos
Os conectivos servem para conectar as proposições. São símbolos que ao
conectarem as proposições, podemos inferir uma conclusão, e a proposição
composta terá valor lógico verdadeiro ou falso determinado pelo valor lógico de cada
proposição simples.
Os conectivos são os seguintes:
… e…
… ou…
não…
se… então…
… se, e somente se, …
Na lógica os conectivos são representados por símbolos, tais símbolos para
cada um dos conectivos acima são apresentados na tabela abaixo:
Conectivo Símbolo
e ∧
ou ∨
não ~ ou ¬
se… então … →
… se, e somente se, (…) ↔
Tabela Verdade
A tabela verdade serve para isolar as
proposições e seus conectivos em um
quadro, facilitando sua compreensão e
análise nos mínimos detalhes. Dessa
forma, é possível visualizar com mais
clareza o que cada parte da sentença
quer dizer e extrair seu verdadeiro
significado.
Operações Lógicas
As operações feitas a partir de proposições são chamadas de operações lógicas.
Este tipo de operação segue as regras do chamado cálculo proposicional.
As operações lógicas fundamentais são: negação, conjunção, disjunção,
condicional e bicondicional.
Negação
Esta operação representa o valor lógico oposto de uma dada proposição. Desta forma, quando uma proposição é verdadeira, a não
proposição será falsa.
Com o objetivo de indicar a negação de uma proposição colocamos o símbolo ~ na frente da letra que representa a proposição,
assim, ~p significa a negação de p.
Exemplo
p: Minha filha estuda muito.
~p: Minha filha não estuda muito.
Como o valor lógico da não proposição é o inverso da proposição, teremos a seguinte tabela verdade:
Lógica negação
Conjunção
A conjunção é utilizada quando entre as proposições existe o conectivo e. Esta operação será verdadeira quando todas as proposições forem verdadeiras.
O símbolo utilizado para representar essa operação é o ^, colocado entre as proposições. Desta forma, quando temos p ^ q, significa "p e q".
Desta forma, a tabela verdade desse operador lógico será:
Lógica conjunção
Exemplo:
Sendo p: 3 + 4 = 7 e q: 2 + 12 = 10 qual o valor lógico de p ^ q?
Solução
A primeira proposição é verdadeira, mas a segunda é falsa. Portanto, o valor lógico de p e q será falso, pois esse operador só será verdadeiro quando
ambas as sentenças forem verdadeiras.
Disjunção
Nesta operação, o resultado será verdadeiro quando pelo menos uma
das proposições é verdadeira. Sendo assim, será falso apenas quando
todas as proposições forem falsas.
A disjunção é usada quando entre as proposições existe o conectivo ou e
para representar esta operação é usado o símbolo v entre as
proposições, assim, p v q significa "p ou q".
Levando em consideração que se uma das proposições for verdadeira o
resultado será verdadeiro, temos a seguinte tabela verdade:
Lógica disjunção
Condicional
A condicional é a operação realizada quando na proposição utiliza-se o conectivo se... então....
Para representar esse operador usamos o símbolo →. Assim, p → q significa "se p, então q".
O resultado desta operação só será falso quando a primeira proposição for verdadeira e a
consequente for falsa.
É importante ressaltar que uma operação condicional não significa que uma proposição é a
consequência da outra, o que estamos tratando é apenas de relações entre valores lógicos.
Exemplo
Qual o resultado da proposição "Se um dia tem 20 horas, então um ano tem 365 dias"?
Solução
Sabemos que um dia não tem 20 horas, logo essa proposição é falsa, também sabemos que um
ano tem 365 dias, logo essa proposição é verdadeira.
Bicondicional
O operador bicondicional é representado pelo símbolo seta para a esquerda e para a direitae indica
uma proposição do tipo ...se e somente se.... Portanto, p seta para a esquerda e para a direita q
significa "p se e somente se q", ou seja, p é condição necessária e suficiente para q.
Ao usar esse operador, a sentença será verdadeira quando as proposições forem ambas
verdadeiras ou ambas falsas.
Os possíveis resultados que podemos encontrar ao usar esse operador estão na tabela abaixo:
Lógica bidirecional
Exemplo
Qual o resultado da proposição "30 = 2 se somente se 2 + 5 = 3"?
