Lógica Matemática

1.1 – Introdução
Objetivos Gerais
• Desenvolver o raciocínio dedutivo,
indutivo e lógico matemático.
• Descrever e aplicar a lógica
proposicional e a álgebra booleana.
• Desenvolver aplicações da lógica de
predicados.
• Conhecer aspectos básicos da lógica
difusa.
Estudar Lógica... para quê?
• Pensar “corretamente” encadeando o
raciocínio.
• Formalizar o raciocínio lógico: tornar explícito
aquilo que é implícito.
• Facilitar a programação lógica: Circuitos
lógicos, Fluxogramas, Modelagem de dados,
Linguagens de montagem e linguagens
estruturadas de computação.
• Solucionar problemas com uso de técnicas de
inteligência artificial.
 História e evolução da lógica

• A lógica iniciou-se com Aristóteles (384-322

A.C.), em sua obra Organum (“ferramenta”)
estabeleceu os princípios gerais e sólidos
que domina o pensamento ocidental há
mais de 2 mil anos.
• Os filósofos gregos utilizavam a Lógica em suas
discussões sob formas de sentenças afirmativas
ou negativas.
• Leibniz, por volta de 1666, a utilizou em vários
trabalhos chamando-a de calculus ratiotinator
originando a idéia da lógica matemática.
 História e evolução da lógica
• Euler, no século XVIII, fez a 1a representação
gráfica entre sentenças (proposições).
• Entre 1847 a 1859 DeMorgan e Boole publicaram
vários tratados e livros que deram uma base
algébrica e formal para a lógica.
• Em 1879, Fregue provoca uma revolução ao
desenvolver um sistema de representação
simbólica: a lógica de predicados.
• Em 1937/1938 Nakashima e Shannon aplicam a
álgebra de Boole em circuitos com relés dando
origem ao 1o computador eletro-mecânico.
Cálculo Proposicional

Como primeira e indispensável parte da Lógica Matemática

temos o CÁLCULO PROPOSICIONAL ou CÁLCULO
SENTENCIAL ou ainda CÁLCULO DAS SENTENÇAS.

CONCEITO DE PROPOSIÇÃO
Sentenças declarativas afirmativas (expressão de uma
linguagem) da qual tenha sentido afirmar que seja verdadeira
ou que seja falsa.
.3<4
· A lua é quadrada. .  = 3,14
· A neve é branca. . 1 é primo
· Matemática é uma ciência. . Zero é par
 Sentença e Proposição
• A lógica formal pode representar as afirmações que
fazemos em linguagem cotidiana para apresentar fatos
ou transmitir informações. Uma proposição (ou
declaração) é uma sentença que é falsa ou verdadeira.
• Considere as seguintes sentenças:
(a) Dez é menor do que sete. É uma proposição, já que é falsa.
Não pode ser considerada falsa ou verdadeira,
(b) Como está você? não é proposição.

(c) Ela é muito talentosa. Não é uma proposição. Ela não está
especificada, não é falsa nem verdadeira.
(d) Existe vida em outros planetas do universo. É proposição.

Não é preciso sermos capazes de decidir qual das alternativas é válida.

Consideração inicial
A lógica analisa os argumentos em vista de sua validade,
não de sua veracidade.
Ex: Se todo homem dessa sala é candidato à Contabilista
e se todo candidato a Contabilista é bonito
então todo homem dessa sala é bonito.
Cálculo Proposicional

TERMO (Palavra) – Definição:

Definição de um objeto.

Exemplo:
Paula
Um filme de terror
Triângulo retângulo
PROPOSIÇÃO – Definição

Todo o conjunto de termos ou símbolos

que exprimem um pensamento
de sentido completo.
Exemplo:
Todo homem é mortal.
A Lua é um satélite da Terra.
sen /2 = cos /2
PROPOSIÇÃO – Definição

PROPOSIÇÃO

As PROPOSIÇÕES
transmitem pensamentos,
isto é,
afirmam fatos ou exprimem juízos
que formamos a
respeito de determinados entes.
PROPOSIÇÃO – Definição

A linguagem NATURAL permite vários tipos

de proposições:

DECLARATIVA: Meu carro é azul.

INTERROGATIVA: Está frio?

EXCLAMATIVA: Que lindo!

IMPERATIVA: Cale a boca.

PROPOSIÇÃO – Definição

CÁLCULO PROPOSICIONAL:

Permite apenas as
proposições
DECLARATIVAS.
Exercício
• Quais das frases a seguir são proposições
declarativas?
 A lua é feita de queijo verde.
 Ele é, certamente, um homem alto.
 Dois é um número primo.
 O jogo vai acabar logo?
 Os juros vão subir ano que vem.
 Os juros vão descer ano que vem.
 x2 – 4 = 0.
Exercício

• Quais das frases a seguir são proposições?

 A lua é feita de queijo verde.
 Ele é, certamente, um homem alto.
 Dois é um número primo.
 O jogo vai acabar logo?
 Os juros vão subir ano que vem.
 Os juros vão descer ano que vem.
 x2 – 4 = 0.
PRINCÍPIOS LÓGICOS FUNDAMENTAIS

A Lógica Matemática adota como regras

fundamentais do pensamento os 2 princípios:

I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO.

II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO.

PRINCÍPIOS LÓGICOS FUNDAMENTAIS

I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO:

Uma proposição NÃO pode ser

FALSA e VERDADEIRA ao mesmo tempo.
O
O Brasil
Brasil éé pentacampeão
pentacampeão de
de futebol.
futebol. Verdade
Verdade (V)
(V)
O
O Brasil
Brasil possui
possui pena
pena de
de morte.
morte. Falso
Falso (F)
(F)
PRINCÍPIOS LÓGICOS FUNDAMENTAIS

II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO:

Toda proposição ou é Verdadeira ou Falsa,

isto é, verifica-se sempre um destes casos
e nunca um terceiro.

LÓGICA
LÓGICA BIVALENTE
BIVALENTE
VALOR LÓGICO DE UMA PROPOSIÇÃO

O Valor Lógico de uma PROPOSIÇÃO é:

VERDADE se esta for VERDADEIRA;

FALSIDADE se a PROPOSIÇÃO for FALSA.

VALOR LÓGICO DE UMA PROPOSIÇÃO

Assim, o que os princípios da não contradição

e o do terceiro excluido afirmam é que:

Toda proposição tem um, e um só,

dos valores V, F.
Qual é Valor Lógico (V ou F) das
proposições a seguir?
• O número 17 é primo. ( V )
• Mindelo é a capital do Cabo Verde. ( F )
• Amilcar Cabral morreu afogado. ( F )
• (3 + 5)22 = 322 + 522. ( F )
• O valor archimediano de  é 22/7. ( V )
• -1 < -7. ( F )
• 0,131313… é uma dízima periódica simples. ( V )
• As diagonais de um paralelogramo são iguais. ( F )
• Todo polígono regular convexo é inscritível. ( V )
• O hexaedro regular tem 8 arestas. ( F )
 Qual é Valor Lógico (V ou F) das
proposições a seguir?
• Todo número divisível por 5 termina por 5. ( F )
• O produto de dois números ímpares é um número ímpar. ( V )
• sen22 30º + sen22 60º = 2. ( F )
• 1 + 3 + 5 + … + (2n – 1)22 = n22. ( V )
• As raízes da equação x33 - 1 = 0 são todas reais. ( V )
• O número 125 é cubo perfeito. ( V )
• 0, 4 e -4 são raízes da equação x33 - 16x = 0. ( V )
• O cubo é um poliedro regular. ( V )
• tg /4 < tg /6. ( F )