Académique Documents
Professionnel Documents
Culture Documents
- LÓGICA PROPOSICIONAL.
INTRODUÇÃO
• A Lógica é um ramo da Filosofia e da Matemática e estuda os
princípios e métodos de argumentação.
• A Lógica tem por objetivo estudar os métodos e princípios que
permitem distinguir raciocínios válidos de outros não válidos;
• A Lógica cuida das regras do bem pensar, se preocupa
basicamente com a estrutura do raciocínio.
• A História da Lógica teve início em 384–322 a.C., com o filósofo
grego Aristóteles e já com a teoria dos silogismos (certa forma
de argumento válido).
• Os fundamentos da Álgebra da Lógica só foram publicados
entre 1840 e 1910.
• “Eu sustento que a descoberta da forma dos silogismos é uma
das mais belas conquistas da mente humana. É uma espécie
de matemática universal, cuja importância não é
suficientemente conhecida". (LEIBNIZ)
EXEMPLOS DE SILOGISMO
• Deus é amor.
O amor é cego.
Steve Wonder é cego.
• Logo, Steve Wonder é Deus.
Para pensar: A maçã
• Há 2 pais e 2 filhos em uma sala
com 1 maçã. A maçã está cortada
em 4 partes iguais. Cada 1 deles
comeu 1 fatia da maçã e ainda
restou 1 fatia. Como isso é possível
sem alterar nada das 4 fatias?
PROPOSIÇÕES E CONECTIVOS
Exemplos:
1. Dez é menor que sete.
2. Ela é muito talentosa!
3. Existem formas de vida em outros planetas do universo.
...EM RESUMO:
Toda proposição tem um, e somente um, dos valores V
ou F.
TIPOS DE PROPOSIÇÃO
Proposição SIMPLES é aquela que não possui nenhuma
outra proposição como parte integrante de si mesma.
Representadas pelas letras p, q, r, s,..., minúsculas.
p: 19 é número primo.
q: O triângulo que tem 3 lados diferentes é isósceles.
p
V
F
TABELA-VERDADE
V V VV
V F VF
F V FV
F F FF
TABELA-VERDADE
V p q
V q F
V V
p V V F
F
F V
q F
F F
TABELA-VERDADE
• Para três proposições simples:
Ex: p q n valorações
• conjunção: “e”
Notações: p q (lê-se p e q)
O valor lógico de uma conjunção será verdadeiro
quando ambas proposições forem verdadeiras, e falso
nos outros casos.
CONECTIVOS LÓGICOS
Tabela-verdade da CONJUNÇÃO:
p q p q
V V V
V F F
F V F
F F F
EXEMPLOS:
“Elefantes são grandes e bolas são redondas.”
“A lua é quadrada e a neve é branca .”
CONECTIVOS LÓGICOS
IMPORTANTE:
A expressão “mas” pode ser utilizada como conectivo da
conjunção quando o conectivo “e” for usado com sentido
adversativo.
Exemplo: Ana vai viajar e Bruno não vai ao cinema.
Esta proposição composta poder ser também representada
como:
“Ana vai viajar, mas Bruno não vai ao cinema”.
CONECTIVOS LÓGICOS
•disjunção : “ou”
Notação: p ν q (lê-se p ou q)
O valor lógico de uma disjunção será verdadeiro
quando pelo menos uma das proposições for
verdadeira, e falso quando ambas forem falso.
Tabela-verdade da DISJUNÇÃO:
p q p q EXEMPLOS:
V V V “A lua é redonda ou a
neve é branca.”
V F V “Hoje é terça ou
F V V quarta.”
F F F
CONECTIVOS LÓGICOS
Para compreender
melhor, basta fixar Disjunção Exclusiva
que:
P Q PvQ
A proposição (p v q) é ou Paraibano
Eduardo é Pernambucano
verdadeira
q: Eduardo ése e Verdadeiro Verdadeiro
Pernambucano F
p: Eduardo
somente é Paraibano
se uma das
q v p = ? p ou q
proposições Verdadeiro Falso V
são verdadeiras.
Eduardo é ouNão Pernambucano ou Paraibano
Falso Verdadeiro V
quando ambas são
verdadeiras e muito Falso Falso F
menos, ambas falsas.
CONECTIVOS LÓGICOS
Tabela-verdade da CONDICIONAL:
p q p q EXEMPLOS:
V V V “Se tem fumaça então
tem fogo.”
V F F
“Se hoje é domingo
F V V então tem jogo na
televisão.”
F F V
CONECTIVOS LÓGICOS
p q
V V Resultado V
p q
V F Resultado F
CONECTIVOS LÓGICOS
•bicondicional : se e somente se
Notação: p q (lê-se p se e somente se q)
O valor lógico de uma bicondicional será falso
quando p e q tiverem valores (V ou F) diferentes , e
verdadeiro nos demais casos.
Tabela-verdade da BICONDICIONAL:
p q p q EXEMPLOS:
“José faz aniversário se
V V V e somente se estamos
no mês de abril.”
V F F
“Hoje é domingo se e
F V F somente se tem jogo na
televisão.”
F F V
CONECTIVOS LÓGICOS
p q p q p q pvq p q p q
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V
CONECTIVOS LÓGICOS
Tabelas-verdade da NEGAÇÃO:
p ~p A ~A
V F V F
F V F V
proposição simples proposição composta
Observação importante:
Às vezes uma proposição contradiz outra, sem que
seja sua negação.
Exemplo: a proposição “O carro de João é preto”,
contradiz, mas não é a negação da proposição “O
carro de João é branco”.
Perceba que a negação da proposição “O carro de
João é branco” seria:
“O carro de João não é branco”.
CONECTIVOS LÓGICOS
¬(A ↔ B): É falso dizer que Maria viaja se somente se João não vai
ao cinema. (Negação formal)
CONECTIVOS LÓGICOS
Ex.: A negação da proposição “Maria viaja se somente se João
não vai ao cinema”, é dada por:
¬(A ↔ B): É falso dizer que Maria viaja se somente se João não
vai ao cinema. (Negação formal)
b) ~p → q
c) q ↔ ~p;
CONECTIVOS LÓGICOS
Observações:
• Podemos gerar novas proposições encadeando
proposições, conectivos e parênteses. Seus valores lógicos
serão definidos pela construção de tabelas-verdade.
• É importante lembrar que "ou" pode ter dois sentidos na
linguagem habitual: inclusivo ou disjunção (quando pode
ocorrer uma coisa ou a outra ou ambas) e exclusivo
(quando pode ocorrer apenas uma das coisas).
ATIVIDADES PROPOSTAS:
b) p ν q
c) p ~q
d) ~(p ν q)
e) q ↔ ~p;
ATIVIDADES PROPOSTAS:
c) Maria é linda?
Interrogativa
d) Levante-se.
Imperativa
ATIVIDADES PROPOSTAS:
2 1