INFORMÁTICA BÁSICA
Lógica
Proposicional
Prof. Andrique Figueirêdo Amorim
[email protected]
www.about.me/andrique
INFORMÁTICA BÁSICA
Sentença declarativa que pode ser
verdadeira ou falsa mas não as duas
coisas ao mesmo tempo.
Exemplo:
Hoje tem aula de Fundamentos.
Ronaldinho é jogador.
INFORMÁTICA BÁSICA
INFORMÁTICA BÁSICA
Salvador é a capital da Bahia.
Valor lógico:
VERDADEIRO
Todos os animais são mamíferos.
Valor lógico:
FALSO
Quero mais café. NÃO É UMA PROPOSIÇÃO
3 + 4 = 7 Valor lógico: VERDADEIRO
1 > 2 Valor lógico: FALSO
NÃO É UMA PROPOSIÇÃO
X > 5
Ele é médico. NÃO É UMA PROPOSIÇÃO
Você gosta de quiabo? NÃO É UMA PROPOSIÇÃO
INFORMÁTICA BÁSICA
A negação de uma proposição é utilizada
para alterar o seu valor lógico, dando ideia
contrária.
Exemplo:
Hoje tem aula de Fundamentos.
Hoje NÃO tem aula de Fundamentos.
INFORMÁTICA BÁSICA
Para representar proposições são usados
símbolos (letras do alfabeto) como p, q e r.
Exemplo:
O sol brilha.
p
A lua está cheia.
q
INFORMÁTICA BÁSICA
Exemplo:
INFORMÁTICA BÁSICA
INFORMÁTICA BÁSICA
TABELA VERDADE
p
INFORMÁTICA BÁSICA
TABELA VERDADE
P
q
INFORMÁTICA BÁSICA
TABELA VERDADE
p
q
~p
~q
INFORMÁTICA BÁSICA
INFORMÁTICA BÁSICA
Indica que ambas as situações ocorrem
simultaneamente.
INFORMÁTICA BÁSICA
TABELA VERDADE
p
q
p^q
INFORMÁTICA BÁSICA
INFORMÁTICA BÁSICA
TABELA VERDADE
p
q
pvq
INFORMÁTICA BÁSICA
INFORMÁTICA BÁSICA
TABELA VERDADE
INFORMÁTICA BÁSICA
TABELA VERDADE
^