Lógica Matemática

OBJETIVOS

Melhorar o entendimento da Linguagem, das ferramentas e dos processos de raciocínio da

matemática que são usadas na ciência da computação, análise e desenvolvimento de sistema de
dados.

MOTIVAÇÃO

-Base para outras disciplinas de computação

-Circuitos Lógicos
-Verificação formal de programa

APLICAÇÕES PRÁTICAS

-Inteligência Artificial (IA)

-Sistemas Especialistas
-Lógica Fuzzy
 Lógica Matemática
UNIDADE II – PROPOSIÇÕES LÓGICAS e CONECTIOVS

O que é LÓGICA?

Tem como origem a palavra grega LOGIKÉ, relacionado como LOGOS,RAZÃO, PALAVRA ou
DISCURSO, que significa a CIÊNCIA DO RACIOCÍNIO, ou a MANEIRA ESPECÍFICA DE
RACIOCINAR.

TIPOS DE LÓGICA

-ARISTOTÉLICA

-DE PROGRAMAÇÃO

-ARGUMENTAÇÃO e

-MATEMÁTICA
 Lógica Matemática
Mas o que é LÓGICA PROPOSICIONAL?

É um formalismo matemático através do qual podemos abstrair a estrutura de um argumento,

eliminando a ambiguidade existente na linguagem natural.

Ou seja, essencialmente é um meio de formalizar o raciocínio lógico.

OBJETIVO DO ESTUDO DE LÓGICA PROPOSICIONAL

É, para além do estudo das proposições e suas relações, uma análise da validade formal das
inferências, raciocínio, levadas acabo com proposições.

Esta análise passa pelo denominado cálculo proposicional, encontrado na realização de

operações entre proposições.

APLICAÇÕES

-Presença dos conectivos lógicos na lógica matemática

-Presença da lógica proposicional nas demonstrações matemáticas
-Presença dos conectivos lógicos na Álgebra Booleana
 Lógica Matemática

I - CONCEITOS DE PROPOSIÇÃO
Definição – É todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido
completo.
As proposições transmitem pensamentos, isto é, afirmam fatos ou exprimem juízos que
formamos a respeito de determinados entes.

Ex.: A Lua é um satélite da Terra, Recife é a capital de Pernambuco.

A Lógica Matemática adota como regras fundamentais do pensamento os dois seguintes

princípios, também conhecido como axiomas:

(I) PRINCÍPIO DA NÃO CONTRADIÇÃO: Uma proposição não pode ser verdadeira ou
falsa ao mesmo tempo.
(II) PRINCÍPIO DO TERCEITO EXCLUÍDO: Toda a proposição ou é verdadeira ou é falsa,
isto é, verifica-se sempre um destes casos e nunca um terceiro.

Logo, por este princípio diz-se que a Lógica Matemática é uma Lógica Bivalente.

Portanto, os dois exemplos anteriores são verdadeiros.

 Lógica Matemática

CONCEITOS DE PROPOSIÇÃO

Mas, as proposições a seguir: Vasco da Gama descobriu o Brasil e Dante escreveu os Lusíadas,
são falsas.

Desta forma, as proposições são expressões que têm sentidos de verdadeiras ou falsas.

II - VALORES LÓGICOS DAS PROPOSIÇÕES

Definição – Chama-se valor lógico de uma proposição a verdade (V) se a proposição é

verdadeira e a falsidade (F) se a proposição é falsa.

Logo, os princípios da não contradição e do terceiro excluído afirma que:

Toda a proposição tem um, e um só, dos valores V e F.

Por exemplo:
O mercúrio é mais pesado que a água  valor lógico é verdade (V), porém,
O Sol gira em torno da Terra  valor lógico é falso (F).
 Lógica Matemática

III – PROPOSIÇÕES SIMPLES e COMPOSTAS

As proposições podem ser :

Simples ou atômicas ou sentenças fechadas (tem como julgar): são aquelas

que não contêm nenhuma outra proposição como parte integrante de si mesma.

Esta proposição pode conter declarações afirmativas ou negativas, composta de

um sujeito e um predicado, que podem ser V ou F.

Simples ou atômicas ou sentenças fechadas: são geralmente designadas pelas

letras latinas minúsculas p, q, r, s, ..., chamadas letras proposicionais.

Como exemplos temos:

p: Carlos é careca.
q: Pedro é estudante.

MUITO IMPORTANTE: Declarações interrogativas, exclamativas, sem verbo, verbos no imperativo,

e sentenças abertas não representam uma proposição simples, ou seja, não consigo julgar se é V
ou F.
 Lógica Matemática

III – PROPOSIÇÕES SIMPLES e COMPOSTAS

As proposições podem ser :

Compostas ou moleculares: são aquelas formadas pelas combinações de duas ou

mais proposições.

Compostas ou moleculares : são geralmente designadas pelas letras latinas

maiúsculas P, Q, R, S, ..., chamadas também de letras proposicionais.

Como exemplos temos:

P: Carlos é careca e Pedro é estudante.

Q: Carlos é careca ou Pedro é estudante.
R: Se Carlos é careca, então é infeliz.

As proposições compostas também são chamadas de fórmulas

proposicionais ou apenas fórmulas.

Quando interessa destacar ou explicitar que uma proposição composta P é

formada pela combinação das proposições p, q, r, ...., escreve-se P(p, q, r, ...).
 Lógica Matemática

IV – CONECTIVOS

Definição – Chama-se conectivos palavras que se usam para formar novas

proposições a partir de outras.
Como exemplos temos:

P: O número 6 é par e o número 8 é cubo perfeito.

Q: O triângulo ABC é retângulo ou é isósceles.
R: Não está chovendo.
S: Se Jorge é engenheiro, então sabe matemática.
T: O triângulo ABC é equilátero se e somente se é equiângulo.

Portanto, são conectivos usuais em Lógica Matemática as palavras que estão

grifadas, isto é:

“e”, “ou”, “não”, “se...então...” “...se e somente se...”

 Lógica Matemática

V – TABELA-VERDADE
Segundo o princípio do terceiro excluído , toda proposição simples p é verdadeira ou falsa,
isto é, tem valor lógico V (verdadeiro) ou F (falso).

Para a proposição composta, a determinação do seu valor lógico, conhecidos os valores

lógicos das proposições simples componentes, se faz com base no seguinte princípio:

Por exemplo, se tivermos uma proposição composta cujas proposições simples componentes
são p e q, as únicas possíveis atribuições de valores lógicos a p e q, são:
 Lógica Matemática

V – TABELA-VERDADE
 Lógica Matemática

VI – NOTAÇÃO
 Lógica Matemática

UNIDADE II – OPERAÇÕES LÓGICAS SOBRE PROPOSIÇÕES

Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
 Lógica Matemática
UNIDADE III – CONSTRUÇÃO DE TABELAS-VERDADES
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática
Lógica Matemática