Alzira Ernesto Naueta

Derque Constantino Maposse

Noémia Antonio Carlos

Historial da lógica

Universidade Rovuma

Nampula

2023
 ii

Alzira Ernesto Naueta

Derque Constantino Maposse
Noémia Antonio Carlos

Historial da lógica

O vigente trabalho é de carater avaliativo

na disciplina de logica e teoria de conjunto,
curso de Lic. Em Matemática, 1⁰ ano,
lecionado pelo: Msc Nassone Chifimelane
Guambe

Universidade Rovuma

Nampula

2023
 iii

Índice
1 Introdução................................................................................................................................. 4

1.1 Objetivo Geral ................................................................................................................... 4

1.2 Objetivos específicos ........................................................................................................ 4

2 Logica matemática ................................................................................................................... 5

2.1 Conceito ............................................................................................................................ 5

2.2 Surgimento ........................................................................................................................ 5

2.3 Importância da lógica ........................................................................................................ 6

2.4 O criador da lógica ............................................................................................................ 6

2.5 Aplicação da lógica matemática ....................................................................................... 6

2.5.1 Conectivos lógicos (lógica proposicional) ................................................................ 6

2.5.2 Logicas predicados .................................................................................................... 7

3 Operações lógicas sobre proposições ....................................................................................... 7

3.1 Negação ............................................................................................................................ 7

3.2 Conjunção ......................................................................................................................... 8

3.3 Disjunção .......................................................................................................................... 8

3.4 Disjunção Exclusiva ......................................................................................................... 8

3.5 Condicional ....................................................................................................................... 9

3.6 Bicondicional .................................................................................................................... 9

4 Classificação de uma proposição composta ............................................................................. 9

4.1 Implicação Lógica ........................................................................................................... 10

5 Conclusão ............................................................................................................................... 12

6 Referência bibliográfica ......................................................................................................... 13

 4

1 Introdução
O vigente o trabalho, visa abordar sobre o historial da logica Matemática, este tema é de
qualquer forma um tema muito relevante em todas as áreas, seja no ensino assim como para
sociedade em geral, pois ajuda o ser humano a raciocinar antes de realizar qualquer actividade
na sua vida, e se enquadra também no contexto filosófico.
O trabalho por mim realizado foi através de coleta de informações, dado que é preciso
organizar de modo que possa trazer uma melhor compreensão perante ao leitor. Assim sendo o
trabalho está estruturado da seguinte maneira; a introdução aqui dada, desenvolvimento do
conteúdo, a conclusão, e as fortes responsabilidades da bibliografia.
1.1 Objetivo Geral:
 Compreender o historial da lógica matemática.
1.2 Objetivos específicos:
 Dar conceito da lógica;
 Falar do surgimento da lógica matemática;
 Abordar sobre a importância da lógica matemática;
 Falar das aplicações da lógica;
 Descrever as operações logicas da matemática; e
 Classificar uma proposição composta.
No que diz a parte metodológica usada, de salientar que foi um pouco difícil para seleção
de obras bibliográficas, sobretudo relevantes a disciplina de logica matemática, com isso, não
nos limitamos, vimo-nos obrigados a recorrer a outras obras dos livros e de artigo de internet.
 5

2 Logica matemática
2.1 Conceito
A lógica pode ser definida informalmente como sendo a ciência do estudo do raciocínio.
Ocupa-se, dentre outras coisas em estudar as relações de dedução e indução tratando as
interferências validas, ou seja, inferências cujas conclusões são necessariamente verdadeiras
quando suas premissas o são. Não é objetivo da logica estudar os processos mentais e
psicológicos envolvidos no desenvolvimento de um argumento, mas estudar os resultados desse
processo.
A lógica é a ciência que expõe as leis, modos e formas do conhecimento científico. Trata-
se de uma ciência formal desprovida de conteúdo, que se dedica ao estudo das formas válidas
de inferência. Trata-se portanto do estudo dos métodos e dos princípios utilizados para
distinguir o raciocínio correto do incorreto.
A lógica matemática é uma subárea que desdobra-se na análise das proposições, a fim de
verificar se uma afirmação é verdadeira ou falsa. Entre as suas aplicações destacam-se a
programação de computadores e o uso em questões de vestibulares.
A lógica matemática ainda é dividida em:
• Teoria dos conjuntos
• Teoria de modelos
• Teoria da recursão
• Teoria da prova
Pensamentos, racionais, inferências e conhecimento, enquanto processos psicológicos,
que se passam na mente do indivíduo, não podem ser objeto de investigação. O que pode
investigar são as frutas tais processos, ou seja expressões linguísticas (Rocha,2005).
2.2 Surgimento
Quando surgiu por volta do século XIX, a lógica matemática era estudada independente
da lógica, a qual teve bases no silogismo de Aristóteles, também aplicado ao raciocínio lógico.
Segundo o filósofo, as premissas são juízos que antecedem a conclusão.
Ele ainda afirmava que a lógica não era um ciência e sim um instrumento correto para
pensar. Essa ideia permaneceu por muito tempo e foi base para construção de teorias, gregas,
chinesas, indianas e islâmicas. Este estudo foi iniciado no final do século XIX, com o
desenvolvimento de arcabouço axiomático para geometria, aritmética e análise. No início do
século XX a lógica matemática foi moldada pelo programa de David Hilbert para provar a
consistência das teorias fundamentais.
 6

O trabalho na teoria dos conjuntos mostrou que quase toda a matemática ordinária pode ser
formalizada em termos de conjuntos, embora existam alguns teoremas que não podem ser
demonstrados em sistemas axiomáticos comuns para a teoria dos conjuntos. O trabalho
contemporâneo nos fundamentos da matemática, muitas vezes se concentra em estabelecer
quais as partes da matemática que podem ser formalizadas, em particular, sistemas formais
(como em matemática reversa) ao invés de tentar encontrar as teorias em que toda a matemática
pode ser desenvolvida. (Souza,2002).
2.3 Importância da lógica
Sua principal função é analisar a validade de argumentos por meio de um sistema
simbólico. Assim, o estudo da lógica matemática constituiu-se, no mundo moderno, como um
importante ferramental para o diagnóstico da qualidade de um argumento filosófico, em
diversos pontos.
A lógica matemática aumenta nosso poder de raciocínio, criatividade, pensamento
abstrato, espacial, pensamento crítico e capacidade de resolução de problemas além de melhorar
nossas habilidades de comunicação. A lógica serve para se pensar corretamente, sendo assim,
uma ferramenta do correto pensar. Lógica tem origem na palavra grega logos, que significa
razão, argumentação ou fala. ... Esse sentido fundamenta-se na estrutura lógica, quando algo
"tem lógica" quer dizer que faz sentido, é uma argumentação racional. (Rocha 2006)
2.4 O criador da lógica
Os estudos de lógica foram iniciados por Aristóteles, entre 384 a.C e 322 a.C., na Grécia
Antiga. Esse grande pensador percebeu que a maior distinção entre o ser humano e os demais
animais é a linguagem. Ele também notou que há uma estrutura linguística que deve ser
obedecida para que os enunciados tenham sentido.
Essas percepções fizeram com que o filósofo formalizasse uma ciência capaz de entender
e classificar os elementos que permitem os enunciados linguísticos com sentido e validade,
fundando a lógica. (Pinto,2006)
2.5 Aplicação da lógica matemática
2.5.1 Conectivos lógicos (lógica proposicional)
Definição: São palavras, expressões ou símbolos que se usam para formar novas
proposições, a partir de proposições dadas.
Linguagem corrente ou usual Linguagem Simbólica

Não ~, 
E , mas ˄
 7

Ou(inclusive) ˅
Ou; ou... ou... , mas não ambos(exclusive) 
Se ... , então ... ͢
..., se somente se, ... 
Exemplos
(1) P: Maria não é sardenta.
(2) P: Baleia é mamífero e jacaré é um réptil.
(3) Q: Maria é bonita, mas não é estudiosa.
(4) R: Se João estuda, então sabe a matéria.
(5) S: Carlos fala francês ou inglês.
(6) T: O número zero possui antecessor natural, se e somente se, o ano bissexto ocorre a cada
seis meses
2.5.2 Logicas predicados
Linguagem corrente ou usual Linguagem simbólica
Qualquer que seja; todo Ɐ
Existe pelo menos um; alguns ⱻ
Existe um e um só ⱻ!
3 Operações lógicas sobre proposições
3.1 Negação
Linguagem Simbólica: (~,  na frente da letra proposicional).
Linguagem Corrente: (Palavra não (exclusivo para proposições simples) - coloca-se não
na frente do verbo)
 8

Tabela-verdade
P ~p

V F
F V
3.2 Conjunção
Linguagem Simbólica: Coloca-se o símbolo  entre as letras proposicionais que a compõe
Linguagem Corrente: Coloca-se a palavra e ou a palavra mas entre as proposições que
a compõe
Tabela de verdade
P q p˄q
V V V
V F F
F V F
F F F
Exemplo:
(1) V ( P ) = V ( p  q ) = V ( p )  V ( q ) = V  V = V
(2) V ( R ) = V ( t  u ) = V ( t )  V ( u ) = V  F = F
3.3 Disjunção
Linguagem Simbólica: Coloca-se o símbolo  entre as letras proposicionais que a compõe.
Linguagem Corrente: Coloca-se a palavra ou entre as proposições que a compõe.
Tabela-verdade
P Q p˅q
V V V
V F V
F V V
F F F
Exemplo:
(1) V ( P ) = V ( p  q ) = V ( p )  V ( q ) = V  F = V
(2) V ( R ) = V ( t  u ) = V ( t )  V ( u ) = F  F = F
3.4 Disjunção Exclusiva
Linguagem Simbólica: Coloca-se o símbolo  entre as letras proposicionais que a
compõe. Linguagem Corrente: Coloca-se a palavra ou entre as proposições que a compõe.
 9

Tabela-verdade
P q pq
V V F
V F V
F V V
F F F
3.5 Condicional
Linguagem Simbólica: p  q: “p-Consequente (Tese ou Conclusão); q- Antecedente
(hipótese)”
P Q pq
V V V
V F F
F V V
F F V
Exemplo:
(2) V ( Q ) = V ( r  s ) = V ( r )  V ( s ) = V  F = F
(3) V ( R ) = V ( t  u ) = V ( t )  V ( u ) = F  F = V
3.6 Bicondicional
Linguagem Simbólica: p  q
Linguagem Corrente: ..., se e somente se, ...
Tabela-verdade
P q pq
V V V
V F F
F V F
F F V
Exemplo:
(1) V ( P ) = V ( p  q ) = V ( p )  V ( q ) = V  V = V
(2) V ( Q ) = V ( r  s ) = V ( r )  V ( s ) = F  V = F
4 Classificação de uma proposição composta
 Tautologia Proposições: compostas com valor lógico verdade (V);
 Contradição ou Contra válida: Proposições compostas com valor lógico falsidade (F);
 10

 Contingência ou Indeterminada: Proposições compostas cujo valor lógico ocorrem (V) e

(F) cada um pelo menos uma vez.
Exemplo:
(1) P: ~ p  q  ( p  q ) proposição tautológica
(2) Q: p  q  ~ ( p  q ) proposição contraditória.
R: ~ p  ( ~ q  p )
~ p  q  (p  q)
F V V V V V V V
F V F F V V F F
V F V V V F V V
V F V F V F V F
Q: p  q  ~ ( p  q )
p  Q  ~ (p  q)
V V V F F V V V
V F F F F V V F
F F V F F F V V
F F F F V F F F
V(Q)=FFFF
P é uma proposição contraditória ou inconsistente.
R: ~ p  ( ~ q  p )
~ P  (~ q  P)
F V V F F V V
F V V V F V V
V F V F V F F
V F V V F V F
V(R)=VVVF
P é uma proposição indeterminada ou contingência.
4.1 Implicação Lógica
Linguagem Simbólica: P  Q ; P e Q proposições quaisquer.
Linguagem Corrente :P implica logicamente em Q
Definição: P  Q , se Q é verdadeira todas as vezes que P é verdadeira.
Tautologia e Implicação Lógica: P  Q ; P  Q é uma tautologia
 11

P: q ; Q: p  q  p.
Como q  ( p  q  p ) é Uma tautologia, temos que q  ( p  q  p )
q  (p  q  p)
V V V V V V V
F V V F F F V
V V F F V V F
F V F F F V F
 12

5 Conclusão
Chegado a este ponto, o trabalho foi elaborado afim de apresentar na disciplina logica e
teoria de matemática, o que se enquadra no contexto de análise e do raciocínio. Assim após as
leituras efetuadas pelo grupo que culminaram na concretização dos meus objectivos e na
elaboração deste trabalho concluímos que; a lógica matemática aumenta nosso poder de
raciocínio, criatividade, pensamento abstrato, espacial, pensamento crítico e capacidade de
resolução de problemas além de melhorar nossas habilidades de comunicação
Não restando mais nada a dizer, para já resta nos apenas agradecer ao mestre pelo tema
que nos fui incumbido a desenvolver, visto que, abriu novos horizontes e acrescentou os que já
possuíamos em relação ao tema e alusão.
 13

6 Referência bibliográfica
PINTO, Paulo Roberto Margutti, Introdução à Lógica Simbólica. Belo Horizonte: Editora
UFMG, 2006
ROCHA, Enrique, Raciocínio Lógico. Rio de Janeiro: Editora Campus, 2005;
SOUZA, João Nunes, Lógica para Ciência da Computação. Brasília: Editora Campos Ltda.,
2002