Fundamentos da

Computação
Prof. Dr. Alex Oliveira Barradas Filho
BICT / UFMA
Introdução – Lógica
Formal
Fundamentos da lógica formal
 História - lógica:
 Teve início com Aristóteles (384 – 322 AC):
De interpretatione: Prior analytics:

ARISTOTLE
Ancient Greek philosopher and scientist
About:
Link: http://academic.eb.com/EBchecked/topic/34560/Aristotle
Fundamentos da lógica formal
 História - lógica:
 George Boole (1815 - 1864);
 Considerado o pai da álgebra booleana;
 Ajudou a estabelecer a lógica simbólica moderna.

GEORGE BOOLE
English mathematician
About:
Link: http://academic.eb.com/EBchecked/topic/73612/George-Boole
Fundamentos da lógica formal
 Importância:
 Teoria da lógica e das probabilidades;
 Base da informática e da eletrônica.
Fundamentos da lógica formal
 Lógica:
 É a ciência dos argumentos;

Raciocínio utilizado para demostrar

ou comprovar uma proposição.

 Trata das conclusões a que chegamos a partir das

evidências que as sustentam;
Fundamentos da lógica formal
 Lógica:
“A lógica é o estudo dos processos válidos e gerais pelos quais
atingimos a verdade [...] É a ciência das leis do pensamento.”
(FONTES, 2008)

 A arte do raciocínio;
 Um conjunto de premissas seguidas de uma conclusão.

As informações, os dados que à

partida temos sobre um problema.
Fundamentos da lógica formal
 Proposições:
 Constituem o alicerce das estruturas fundamentais da
lógica;
 É qualquer oração que pode ser avaliada como:
 Verdadeiro;
 Falso.
 Exemplos:
 Todo número divisível por 2 é par. É uma proposição.
 Que horas são?
 Vá dormir. Não são proposições.
 Dez menos três.
Fundamentos da lógica formal
 Proposições:
 Em geral, uma proposição é indicada por uma letra latina
minúscula.
 Exemplo:
 a: Todo número divisível por 2 é par.
 b: São luís é a capital do Maranhão.
 p: Barack Obama é presidente do Brasil.
Fundamentos da lógica formal
 Valor lógico de uma proposição:
 O valor lógico de uma proposição está associado ao
resultado de sua avaliação (verdadeira ou falsa).
 Verdade (V) está associado às proposições verdadeiras;
 Falsidade (F) está associado às proposições falsas.
Fundamentos da lógica formal
 Valor lógico de uma proposição:
 Exemplos:
 p: O Maranhão está localizado na região Nordeste.
▪ O valor lógico desta proposição é a verdade.
▪ V(p) = V
 q: Santos Dumont é o pai da informática.
▪ O valor lógico desta proposição é a falsidade.
▪ V(q) = F
Fundamentos da lógica formal
 Valor lógico de uma proposição:
 Os possíveis valores lógicos de uma proposição simples
podem ser representados por uma tabela ou uma árvore de
possibilidade.
Fundamentos da lógica formal
 Valor lógico de uma proposição:

Axiomas (verdades inquestionáveis)

Princípio da não-contradição

Princípio do terceiro excluído

Fundamentos da lógica formal
 Classificação das proposições:
As proposições
 Simples: compostas são
representadas por
 Não podem ser decompostas. letras maiúsculas
 Exemplos:
a: Pelé é o rei do futebol.
b: Imperatriz é a capital do Maranhão.
 Compostas:
 Formadas por duas ou mais proposições ligadas por conectivos
lógicos.
 Exemplos:
P: Pelé é o Rei do futebol e Lula é o presidente do Brasil.
Fundamentos da lógica formal
 Conectivos lógicos (principais):
Fundamentos da lógica formal
 Valor lógico de uma proposição composta:

 Tabela verdade:

“Uma tabela verdade é uma tabela que descreve os valores lógicos de uma
proposição em termos das possíveis combinações dos valores lógicos das
proposições componentes e dos conectivos usados.”
(MENEZES, 2008)
Fundamentos da lógica formal
 Tabela verdade:
 Proposições p e q.
 Como representar os possíveis valores lógicos?
Fundamentos da lógica formal
 Operações lógicas:
Fundamentos da lógica formal
 Negação:
 Utilizado para formar uma nova proposição;
 O valor lógico é oposto ao da proposição original.
 Representação da negação (tabela verdade):
Fundamentos da lógica formal
 Negação:
 Exemplo:
a: A capital do Maranhão é São Luís.
¬a: A capital do Maranhão não é São Luís.
¬a: É falso que a capital do Maranhão é São Luís.
Fundamentos da lógica formal
 Conjunção:
 Permite ligar duas proposições;
 O valor é a verdade (V) quando ambas as proposições
forem verdadeiras;
 Representação da conjunção (tabela verdade):
Fundamentos da lógica formal
 Conjunção:
 Exemplo:
a: Lula é brasileiro.
b: O Maranhão pertence ao Paraguai.
a ∧ b: Lula é brasileiro e o Maranhão pertence ao Paraguai.
V(a): V
V(b): F
V(a ∧ b) = V(a) ∧ V(b) = V ∧ F = F
Fundamentos da lógica formal
 Disjunção:
 Permite ligar duas proposições;
 O valor é a falsidade (F) quando ambas as proposições
forem falsas;
 Representação da disjunção (tabela verdade):
Fundamentos da lógica formal
 Disjunção:
 Exemplo:
a: Gonçalves Dias é um poeta maranhense.
b: A lua é quadrada.
a ∨ b: Gonçalves Dias é um poeta maranhense ou a lua é
quadrada.
V(a): V
V(b): F
V(a ∨ b) = V(a) ∨ V(b) = V ∨ F = V
Fundamentos da lógica formal
 Praticando:
a: Lisboa é a capital de Portugal.
b: Bélgica é um país da América Latina.
Fundamentos da lógica formal
 Atividades:
A: 7
B: 19
C: 11
D: 2
Álgebra Booleana
Álgebra booleana
 Características:
 Sistema matemático;
 Pode assumir apenas um dentre dois valores:
 Zero (0);
 Um (1).
Álgebra booleana
 Operadores da álgebra booleana:
 Operadores
Fundamentais
Álgebra booleana
 Operador AND (Interseção):
 A operação lógica AND entre duas ou mais variáveis
apresenta resultado 1 se, e somente se, todas as variáveis
estiverem no estado lógico 1.
Álgebra booleana
 Operador OR (União):
 A operação lógica OR entre duas ou mais variáveis
apresenta resultado 1 se pelo menos uma das variáveis
estiver no estado lógico 1.
Álgebra booleana
 Operador NOT (Inversor ou Negação):
 A operação de negação de uma variável é implementada
através da troca do valor lógico da referida variável. É o
equivalente à multiplicação de um número por um negativo
(-1).
Operadores Secundários
Álgebra booleana
 Operador NAND (Interseção Inversa):
 A operação lógica NAND entre duas ou mais variáveis
apresenta resultado 0 se, e somente se, todas as variáveis
estiverem no estado lógico 1.
Álgebra booleana
 Operador NOR (União Inversa):
 A operação lógica NOR entre duas ou mais variáveis
apresenta resultado 1 se, e somente se, todas as variáveis
estiverem no estado lógico 0.
Álgebra booleana
 Operador XOR (OR Exclusivo):
 A operação lógica XOR entre duas variáveis A e B
apresenta resultado 1 se uma, e somente uma, das duas
variáveis estiver no estado lógico 1.
Álgebra booleana
 Operador XNOR (OR Exclusivo Inverso):
 A operação lógica XNOR entre duas variáveis A e B
apresenta resultado 1 se, e somente se, as duas variáveis
estiverem no mesmo estado lógico.
Obrigado!