Professional Documents
Culture Documents
Princípio da identidade não existem = oração declarativa que pode ser valorada em V ou F,
mas não ambas Não pode ser exclamativa,
“patamares da verdade” interrogativa, imperativa ou CAI MUITO!
optativa
Ex.: uma proposição mais V que a outra
Princípio do terceiro excluído ou V ou F Se não puder assumir V ou F, não é proposição
(Não há meio termo!) Ex.: paradoxo (contradição)
Princípio da não contradição não pode ser Também não é proposição a sentença aberta ou função
V ou F ao mesmo tempo proporcional
Ex.: x + 5 = 10
são variáveis! PEGADINHA!
proposições
PROPOSIÇÕES SIMPLES E COMPOSTAS
Simples: declaram algo sem o uso de conectivos
Ex.: o céu é azul MODIFICADOR
Compostas: construídas a partir das proposições = operador lógico que troca o valor lógico
simples com os operadores lógicos de uma proposição
Conectivos: e, ou, se ... então, ou..., ou, se e ATENÇÃO! Não é um conectivo!
somente se.... = negação: símbolos ~ e ¬
CONDICIONAL CONJUNÇÃO
Se p, então q “Vamos à praia e vamos ao shopping”
p q p q SINÔNIMOS DECORE! p q p ^ q
V V V p, logo q V V V
V F F sempre que p, q V F F
F V V quando p, q F V F
F F V p só quando q F F F
conectivos
BICONDICIONAL DISJUNÇÃO INCLUSIVA
p se e somente se q “Como banana ou como maçã.”
DISJUNÇÃO EXCLUSIVA (Ou ambas!)
p q p q
“Ou como banana, ou como maçã.”
V
^
V V (Não pode ambas!) p q p q
V F F ^ V V V
p q p q
F V F _
V F V
V V F
F F V F V V
V F V
Equipara-se á conjunção de duas F F F
F V V
condicionais
F F F
p q=p q^q p
EM UMA FÓRMULA PREPOSICIONAL EXEMPLOS
1. ¬ (negação) (P = F, Q = V, R = V)
2. V (ou) ou (e)
Ordem de
1. ¬P Q R
V V
resolução
DECORE!
3. V (ou exclusivo) =¬F V
V
V
4. (se ... então) =V V
V
V
5. (se e somente se) =V V
=V Os parênteses alteram a
ordem de preferência
dos conectivos
2. ¬ ((P Q) R)
V
= ¬ ((F V V)
conectivos
V
= ¬ (V V)
V
=¬V
= ORDEM DE PREFERÊNCIA =
=F
SE HOUVER MARCADORES
1. ( )
Ordem de
resolução
2. [ ]
3. { }
tabela verdade
Ex.: p ~ p
V
2:1=1
CONTINGÊNCIA p q r
(Não é tautologia, nem contradição)
A proposição composta pode ser V ou F, a
V V 1 V
2 V F
depender dos valores das proposições simples V
4 F V
V
V F F
8
F V V
F V F
F F V
F F F