Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado.

Este material pode ser protegido por

direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

Matemática

LÓGICA MATEMÁTICA: DEFINIÇÕES, TEOREMAS,

PROVA E CONTRAPROVA
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

Sumário

Introdução ............................................................................................................................... 2
Objetivo ................................................................................................................................... 2
1. Lógica matemática: Definições, teoremas, prova e contraprova...................................... 2
1.1. Definições ..................................................................................................................... 2
1.2. Teoremas...................................................................................................................... 4
1.3. Prova e contraprova ..................................................................................................... 4
Exercícios ................................................................................................................................. 5
Gabarito ................................................................................................................................... 5
Resumo .................................................................................................................................... 6

1
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

Introdução
Na aula Conceito de Lógica Matemática estudamos os conceitos de lógica
proposicional, indutiva e dedutiva. Aprendemos que a lógica proposicional é a área
da lógica que lida com proposições. O processo dedutivo parte de uma afirmação
geral para chegar a uma afirmação particular, constitui um dos fundamentos do
método científico, por isso é de grande importância no desenvolvimento da ciência. E
por último aprendemos o método de lógica indutiva, que afirma que a indução é
considerada uma metodologia insuficiente para a ciência, pois uma vez que um
número elevado de dados não pode alcançar um ideia geral, seria como dizer que
amanhã vai chover porque choveu ontem, trata-se de uma avaliação indutiva que
serve para ter grau de fiabilidade muito elevado para a vida cotidiana.
Nesta apostila vamos aprender sobre o reconhecimento das definições da
lógica matemática, teoremas, prova e contraprova de situações reais para o
entendimento da lógica matemática.

Objetivo
• Aprender sobre definições de lógica matemática, teoremas, prova e
contraprova;
• Dominar o conteúdo através de exercícios e exemplos resolvidos.

1. Lógica matemática: Definições, teoremas, prova e

contraprova
1.1. Definições
A lógica matemática equivale a um sistema dedutivo composto por
enunciados que almeja elaborar um conjunto de leis e regras para verificar a validade
ou não dos raciocínios. Desta maneira um raciocínio é válido se é possível obter
conclusão verdadeira a partir de outras proposições também verdadeiras. Logo a
lógica matemática pode ser dividida em lógica proposicional e logica de predicados;
ambas são utilizadas para construir raciocínio válidos intermediados por outros
raciocínios.

2
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

SAIBA MAIS!

Leibniz juntamente com Peano, começou a

interrogação a respeito da lógica matemática se encontra
na obra Análise Matemática da Lógica, da autoria de
George Boole (autor da lógica ou álgebra Boole). Ambos
foram os percussores no conceito de lógica matemática.

A lógica de programação é utilizada para elaborar programas de computador;

sendo fundamental para desenvolvimento e aperfeiçoamento de programas e
sistemas informáticos; uma vez que essa baseia o encadeamento lógico para o
desenvolvimento, criando algoritmos.

A lógica de argumentação identifica a validade de um enunciado e tem como

objetivo avaliar a forma das proposições e não o conteúdo.
A lógica proposicional averiguou os raciocínios conforme as relações entre
orações, também chamadas de proposição, sendo estas classificadas como
verdadeira ou falsas.

Representação da lógica matemática através de um cubo.

3
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

1.2. Teoremas
O nome teorema é dado a uma proposição cuja validade se mostra por
demonstração, desta forma, os axiomas, que se definem como primeiros teoremas e
se admitem sem demonstração, são pertencentes a uma categoria de lógica diferente.
Mediante procedimentos de dedução ou indução nos quais se encadeiam
consequências logicas é que os teoremas se demonstram a partir de outros teoremas.
A axiomáticas da matemática, são o elemento básico para a dedução de
teoremas derivados, e a escolha adequada dos axiomas é um dos pontos mais
delicados na elaboração dos modelos e qualquer sistema. Aceita-se um conjunto de
axiomas, do ponto de vista matemático, quando tem coerência lógica, o que implica,
do ponto de vista matemático, quando tem coerência lógica, o que implica que de um
mesmo axioma não é possível deduzir dois teoremas contraditórios.

1.3. Prova e contraprova

O ato ou efeito de provar é chamado de prova, que são definidas como ensaios
que se fazem para saber como será ou ficará algo na sua forma definitiva, ou os
argumento e os meios que pretendem demonstrar a veracidade ou a falsidade e algo,
e a contraprova tem por objetivo verificar a exatidão da prova que foi apresentada.
Neste contexto é importante ressaltar que existem diferentes tipos de provas
e cada uma possui suas características:
Prova por Dedução: é uma sequência de afirmações cuja verdade nos leva de
alguma afirmação inicial, uma hipótese ou declaração dada, a uma afirmação
conclusão.
Prova por Indução: é um método avançado para mostrar que os elementos de
um conjunto infinito têm uma propriedade específica, sendo que toda prova
por indução consiste em duas partes: a base e o passo de indução.
Prova por Contradição: consiste numa forma comum de provar um teorema
é assumir que o teorema é falso e então mostrar que está suposição leva a uma
consequência falsa, chamada de contradição.
Prova por Construção: muitos teoremas afirmam que um tipo particular e
objeto existe. Um meio de provar tal teorema é demonstrado como construir
tal objeto.

4
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

Exercícios
1. (Autor, 2019) Explique os principais tipos de provas existentes.

2. (UFB, 2009) Se p e uma proposição verdadeira, então:

a) p ^ q é verdadeira, qualquer que seja q;
b) p v q é verdadeira, qualquer que seja q;
c) p ^q é verdadeira só se q for falsa;
d) p => q é falsa, qualquer que seja q
e) n.d.a

3. (ABC, 2010) A negação de todos os gatos são pardos é:

a) Nenhum gato é pardo;

b) Existe gato pardo;

c) Existe gato não pardo;
d) Existe um e um só gato pardo;
e) Nenhum gato não é pardo.

Gabarito
1. Os principais tipos de provas existentes são:
Por Dedução: Consiste em uma sequência de afirmações cuja verdade nos leva
de alguma afirmação inicial, uma hipótese ou declaração dada, a uma
afirmação conclusão.

Por Indução: Método avançado para mostrar que os elementos de um conjunto

infinito têm uma propriedade específica. Toda prova por indução consiste em
duas partes: a base e o passo de indução.

Por Contradição: Uma forma comum de provar um teorema é assumir que o

teorema é falso e então mostrar que esta suposição leva a uma consequência
falsa, chamada de contradição.
Por Construção: Muitos teoremas afirmam que um tipo particular e objeto
existe. Um meio de provar tal teorema é demonstrado como construir tal
objeto.

2. Letra B

5
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

a) Falsa, a proporção Resultante só será verdadeira quando as duas

proposições forem verdadeiras;
b) Verdadeira, a proporção resultante só será falsa quando as duas
proposições simples forem falsas;
c) Falsa, a proporção resultante só será verdadeira quando as duas
proposições forem verdadeiras;
d) Falsa, condicional só será falsa se a antecedente (lado esquerdo da seta)
for verdadeiro e a consequente (lado direito) da seta for falso.

3. Letra C.
É possível afirmar que o fato de “todos os gatos serem pardos” como uma
regra, tornando esta afirmação negativa, equivale a dizer que não seja pardo.
Para realizar a negação de uma regra que é universal (todo ou para todo ou
qualquer que seja etc.) é preciso identificar um elemento que não siga a norma
estabelecida; que neste contexto é a existência de um gato que não seja pardo.

Resumo
Nesta aula aprendemos que a lógica matemática estuda a lógica segundo a sua
estrutura ou forma, ela consiste em um sistema dedutivo de enunciados que tem
como objetivo criar um grupo de leis e regras para determinar a validade dos
raciocínios. Sendo assim um raciocínio é considerado válido se é possível alcançar
uma conclusão verdadeira a partir de proposições verdadeiras. A lógica matemática
também é usada para construir raciocínio válidos mediantes outros raciocínios, sendo
que estes raciocínios podem ser dedutivos, onde a conclusão é obtida
obrigatoriamente a partir da verdade das premissas, e indutivo que é considerado
probabilístico. A lógica matemática pode ser dividida em dois grupos: lógica
proposicional e lógica de predicados. Quanto aos teoremas aprendemos que o nome
teorema é dado a uma proposição cuja validade se mostra por demonstração. E por
fim estudamos os principais tipo de provas, sendo elas a prova por dedução, por
indução, por contradição e por construção.

6
Impresso por Carlos Antonio, E-mail carlosgradiente@gmail.com para uso pessoal e privado. Este material pode ser protegido por
direitos autorais e não pode ser reproduzido ou repassado para terceiros. 09/10/2022 21:56:32

Referências bibliográficas
CESAR, Benjamin e MORGADO, Augusto C. (2009) Raciocínio Lógico - Quantitativo. Série Provas e Concursos.
4a ed. São Paulo: Campus ElSevier.
Departamento de matemática. Instituto de Matemática UFRJ. Disponível em:
http://www.dmm.im.ufrj.br/projeto/projetoc/precalculo/sala/pesquisando/godel.html4- acessado em:
22/02/2019 às 17h50.
IFRN, Instituto Federal de Educação e Ciência e Tecnologia do Rio Grande do Norte. Cleone Silva de Lima, Apodi-
RN, Apostila de Lógica.
MURAKAMI, Gelson Izzi Carlos. Fundamentos da matemática elementar. 3ª ed. Vol. 1. Atual. São Paulo-SP. 1985.
ROCHA, Enrique. (2010) Raciocínio Lógico - Você consegue aprender. Série Provas e Concursos. 3a ed. São
Paulo: Impetus.
SAMPAIO, L.S.C. 2001. A lógica da Diferença. Editora UFRJ, Rio de Janeiro(Brasil), 172pp.
Significados. Significado de lógica. Disponível em: https://www.significados.com.br/logica/- acessado em:
22/02/2019 às 17h30.
SIROTINSKAYA, S. & STRIEDER, A.J. 2008. Lógica matemática na integração de dados e na modelagem:
elementos básicos. Editora UFRGS, Porto Alegre(Brasil), 281pp.

Referências imagéticas
www.pexels.com/photo/brain-color-colorful-cube-19677/- acessado em: 22/02/2019 às 17h30.