Escolar Documentos
Profissional Documentos
Cultura Documentos
RACIOCÍNIO LÓGICO
material complementar
Lógica Proposicional
2
VERDADEIRA FALSA
a) IDENTIDADE
b) NÃO-CONTRADIÇÃO
c) TERCEIRO EXCLUÍDO
a) SIMPLES
b) COMPOSTA
Tabela Verdade
1) SÍMBOLOS E CONECTIVOS
a) Conjunção
“E”
Representada pelo símbolo ^
4
b) Disjunção inclusiva
“Ou”
Representada pelo símbolo v
c) Disjunção exclusiva
“Ou...ou...”
Representada pelo símbolo v
d) Condicional ou implicação
“Se... então...”
Representada por
p q
e) Bicondicional ou bi-implicação
2) TABELA VERDADE
p q
V V
V F
F V
F F
p: primeira proposição
q: segunda proposição
p q ^ v v
V V V V F V V
V F F V V F F
6
F V F V V V F
F F F F F V V
2nº de proposições
a) Conjunção “e” ^
Se V então V ou F
V
8
VeV=V
vírgula (,)
como
sempre que
quando/enquanto
vírgula (,)
mas
9
Negação de Proposições
Sou feliz.
~: Não sou feliz.
Leis de Morgan
I) ~ ( p ^ q ) = ~ p v ~ q
II) ~ ( p v q ) = ~ p ^ ~ q
10
Dica: 1) copiar p
2) trocar o conectivo pelo “e” (^)
3) negar q
P ~P
p^q ~pv~q
pvq ~p^~q
11
pq p^~q
p q pvq
pvq p q
EXEMPLOS:
~ ~
ou
Se hoje é terça,
então vou para a praia ou vou para a
piscina.
mantém a 1ª e nega a 2ª
Se o
céu é azul e estou com calor, então vou passar na prova ou vai
chover.
mantém a 1ª e nega a 2ª
12
Quantificadores Lógicos
1) Universal positiva:
todos
2) Universal negativa:
nenhum
todos não
ninguém
3) Particular positiva
algum
existe um
13
pelo menos um
alguém
4) Particular negativa
algum não
existe um que não
pelo menos um não
alguém não
UNIVERSAL
PARTICULAR
mantém a 1ª
nega a 2ª
p ~p
x>7 x7
x < -4 x -4
x -8 x < -8
x0 x=0
x é par x é ímpar
Equivalência de Proposições
a) contrapositiva
p q~q~p
~ ~
pq~pvq
ou
pvq~pq
Dica 1:
1ª)Negar a primeira
2ª)Trocar o conectivo por “ou” (v)
3º)Manter a segunda
~ ou mantém
Tautologia
Proposição composta que é sempre verdadeira.
Simbolizada por p v ~ p
Contradição
Contingência
Lógica da Argumentação
Willy é um peixe.
Willy sabe nadar.
Logo, todo peixe sabe nadar.
Diagramas Lógicos
Todo A é B
Algum A é B
AB Algum B é A
Algum B não é A
A B Nenhum A é B
Nenhum B é A
Todo A é não B
Todo B é não A
19
A
B Algum A é B
Algum B é A
Algum A não é B
Algum B não é A
H F
H
F
S
20
FORTE todo
nenhum
algum
FRACO algum... não