Lógica matemática_ o que é, conceitos, operações - Brasil Escola

Prévia do material em texto

Lógica matemática
Lógica matemática é a área da Matemática que estuda o raciocínio formal de forma
fundamentada, com proposições e operações lógicas que auxiliam na construção de
argumentos.
A lógica matemática é a área da Matemática que estuda de forma fundamentada o raciocínio formal, usando proposições
e operadores lógicos para analisar e construir argumentos que sejam válidos. É aplicada em diferentes áreas, como a
Computação, a Filosofia e a própria Matemática, fornecendo métodos para se resolver situações-problema e desenvolver o
raciocínio crítico. O uso da tabela verdade é bastante recorrente, pois ela, com as operações lógicas, nos auxilia na
avaliação da veracidade das proposições e suas combinações.
Leia também: Afinal, o que é lógica?
Resumo sobre lógica matemática
A lógica matemática é a área da Matemática que estuda o raciocínio formal por meio de proposições e operadores
lógicos.
As proposições são afirmações que podem ser verdadeiras ou falsas, combinadas por conectivos como negação,
conjunção, disjunção, condicional e bicondicional.
As operações lógicas são usadas para construir expressões complexas e resolver problemas matemáticos.
A tabela verdade apresenta todos os possíveis valores lógicos de proposições e seus conectivos.
A lógica matemática é importante para diversas áreas, como Computação, Matemática e Filosofia, ajudando no
desenvolvimento do pensamento crítico.
O que é lógica matemática?
A lógica matemática é a área da Matemática que estuda a análise detalhada e a organização do raciocínio formal,
empregando símbolos e notações específicas para representar proposições e operadores lógicos. Na lógica
matemática, é possível formular argumentos de forma rigorosa, garantindo precisão nas inferências e na construção de
raciocínios dedutivos. A lógica matemática fornece métodos para avaliar a validade de afirmações, permitindo estabelecer
relações entre proposições e construir cadeias de pensamento estruturadas, o que é essencial em situações que exigem
clareza e objetividade.
A lógica matemática pode ser aplicada em várias áreas do conhecimento, como na Ciência da Computação, em que é
usada para o desenvolvimento de algoritmos; na Engenharia, em que auxilia na modelagem de sistemas complexos; e na
Filosofia, para a análise e estruturação de argumentos. A lógica matemática não apenas fornece uma base teórica para
essas disciplinas como também contribui para o aprimoramento do pensamento crítico e analítico, sendo ferramenta
fundamental para a resolução de problemas e o avanço científico e tecnológico.
Proposições da lógica matemática
As proposições são afirmações ou sentenças que podem ser classificadas como verdadeiras ou falsas, mas nunca
ambas simultaneamente. Por exemplo, “Amanhã é segunda-feira” é uma proposição, pois pode ser verdadeira ou falsa
dependendo do dia.
→ Conectivos lógicos e operações lógicas
Os conectivos lógicos são operadores que permitem combinar ou modificar proposições para formar sentenças mais
complexas, de modo que as operações lógicas são realizadas com base nas proposições.
Negação (¬)
Negação (¬) inverte o valor lógico de uma proposição.
Exemplo:
https://brasilescola.uol.com.br/filosofia/o-que-logica.htm
Em um sistema de segurança de um carro, a lógica do sistema pode ser configurada para acionar um alarme se o motorista
não estiver com sinto de segurança (¬P).
Se P representa “o motorista usando cinto de segurança”, então ¬P significa “o motorista não está usando cinto de
segurança”, acionando o alarme.
Conjunção (^)
Conjunção (^) corresponde ao operador “e”, sendo verdadeira somente se ambas as proposições forem verdadeiras.
Exemplo:
Para que amanhã seja segunda-feira, é necessário que hoje seja domingo. 
Se P representa “amanhã é segunda” e Q representa “hoje é domingo”, então a condicional P^Q (amanhã é segunda e hoje
é domingo) deve ser verdadeira. Quando ambas as proposições são verdadeiras, se uma for falsa, então ambas serão
falsas.
Disjunção (v)
Disjunção (v) corresponde ao operador “ou”, sendo verdadeira se, pelo menos, uma das proposições for verdadeira.
Exemplo:
O ar-condicionado de um escritório liga se for acionado no controle ou se a temperatura do ambiente for superior a 26 ºC.
Se P representa “acionar o controle do ar-condicionado” e Q representa “temperatura do ambiente superior a 26 ºC”, P v Q
significa que o ar-condicionado estará ligado se uma das duas acontecer, ou seja, acionar o controle do ar-condicionado ou
o ambiente atingir uma temperatura superior a 26 ºC.
Condicional (→)
Condicional (→) representa a implicação lógica, sendo falsa apenas quando a primeira proposição é verdadeira e a
segunda é falsa.
Exemplo:
Se apertarem o botão de alerta para incêndio, a sirene de emergência de incêndio será acionada.
Se P representa “apertar o botão de alerta para incêndio”, e Q representa “acionamento da sirene de emergência de
incêndio”, então P→Q. Isso significa que o acionamento da sirene de emergência de incêndio depende do aperto do botão
de alerta para incêndio.
Bicondicional (\(\leftrightarrow\))
Bicondicional (\(\leftrightarrow\)) representa a equivalência lógica, sendo verdadeira quando ambas as proposições são
verdadeiras ou ambas são falsas.
Exemplo:
Para uma senha de segurança ser considerada válida, ela deve ter exatamente 8 caracteres, incluindo, pelo menos, 1
caractere especial.
Se P representa “a senha tem exatamente 8 caracteres” e Q representa “a senha inclui, pelo menos, 1 caractere especial”,
então P \(\leftrightarrow\) Q significa que a condição só é verdadeira quando ambas as partes são verdadeiras.
Tabela verdade
Tabela verdade é um instrumento empregado na lógica matemática que contém todos os valores lógicos de uma proposição
composta.
→ Tabela verdade da negação
P ¬P
V F
F V
→ Tabela verdade da conjunção
P Q P ^ Q
V V V
V F F
F V F
F F F
→ Tabela verdade da disjunção
P Q P v Q
V V V
V F V
F V V
F F F
→ Tabela verdade da bicondicional
P Q P \(\leftrightarrow\) Q
V V V
V F F
F V F
F F V
Importância da lógica matemática
A lógica matemática é muito importante para ajudar as pessoas a pensarem de maneira clara e organizada. Ela nos dá
ferramentas para entender, criar e avaliar argumentos de forma mais precisa. Quando usamos a lógica matemática,
conseguimos criar e comprovar teoremas de forma mais segura, entendendo melhor como as ideias se conectam e
resolvendo problemas com mais clareza.
Além disso, a lógica matemática não se limita à Matemática, com aplicações em outras áreas. Na Ciência da
Computação, ela é essencial para criar programas e softwares, pois os programadores precisam pensar de forma lógica
para escrever instruções que façam os computadores funcionarem corretamente. Ela também ajuda a organizar dados e a
resolver problemas de maneira eficaz, o que é muito importante para o desenvolvimento da tecnologia que usamos todos os
dias.
No dia a dia, ela nos ajuda a pensar com clareza e tomar decisões melhores, resolvendo problemas práticos,
analisando informações ou defendendo nossas ideias em debates. Pensar de maneira lógica significa organizar as
ideias, seguir um raciocínio coerente e chegar a conclusões mais bem fundamentadas.
Por isso, estudar lógica matemática não é apenas para quem gosta de matemática. Ela nos ajuda a desenvolver um jeito
mais claro e eficiente de pensar e agir, sendo útil em muitas áreas da vida, desde o trabalho com tecnologia até
situações do cotidiano.
Tipos de lógica
Além da lógica matemática, há outras formas de lógica, que geralmente se originam da lógica clássica formal, seja como
críticas ao modelo tradicional, seja como novas abordagens para resolver problemas. Alguns exemplos são:
Lógicas não clássicas: incluem diferentes abordagens que rejeitam um ou mais princípios da lógica clássica. Um
exemplo é a lógica fuzzy, amplamente utilizada em inteligência artificial, que abandona o princípio do terceiro
excluído e permite valores intermediários entre 0 (falso) e 1 (verdadeiro). Outros exemplos são a lógicaintuicionista,
a lógica paraconsistente e a lógica modal.
Lógica computacional: derivada da lógica matemática, aplica-se à programação e ao desenvolvimento de
tecnologias computacionais, como a inteligência artificial. Esse tipo de lógica examina as relações entre valores e as
traduz em algoritmos, utilizando, às vezes, modelos que vão além dos princípios aristotélicos.
Exercícios resolvidos sobre lógica matemática
Questão 1
Qual conectivo é utilizado na frase: “Você pode passar no teste se tiver estudado ou se as questões forem fáceis”?
A) Conjunção (^)
B) Disjunção (v)
C) Condicional (→)
D) Bicondicional (\(\leftrightarrow\))
Resolução:
Alternativa B
Analisando as duas proposições, temos que P: “Você pode passar no teste se tiver estudado” e Q: “você pode passar no
teste se as questões forem fáceis”. Note que temos o conectivo “ou”, logo, é uma disjunção.
Questão 2
Para qual valor de P e Q a expressão P \(\leftrightarrow\) Q será falsa?
A) Quando P é verdadeira e Q é verdadeira.
B) Quando P é falsa e Q é falsa.
C) Quando P e Q têm valores opostos.
D) Quando P e Q são verdadeiras ao mesmo tempo.
Resolução:
Alternativa C
Sabemos que a bicondional é falsa quando uma das proposições tem valor oposto ao da outra.
Fonte
ALENCAR FILHO, E. de. Iniciação à lógica matemática. São Paulo: Nobel, 2002.
Fonte: Brasil Escola - https://brasilescola.uol.com.br/matematica/logica-matematica.htm