Resumão – Raciocínio Lógico

DIAGRAMAS LÓGICOS

Tudo A é B Algum A é B Nenhum A é B Algum A não é B

B A B A B A B
A
? ? ? ?

Todo A não é B
CONECTIVOS E TABELAS
CONJUNÇÃO DISJUNÇÃO INCLUSIVA CONDICIONAL BICONDICIONAL DISJUNÇÃO EXCLUSIVA

(e) (ou) (se..., então...) ...se, e somente se, ... ou... ou...
𝒑˄𝒒 𝒑˅𝒒 𝒑 →𝒒 𝒑↔𝒒 𝒑˅𝒒

𝒑 𝒒 𝒑˄𝒒 𝒑 𝒒 𝒑˅𝒒 𝒑 𝒒 𝒑→𝒒 𝒑 𝒒 𝒑↔𝒒 𝒑 𝒒 𝒑˅𝒒

V V V V V V V V V V V V V V F
V F F V F V V F F V F F V F V
F V F F V V F V V F V F F V V
F F F F F F F F V F F V F F F

RESUMO DAS TABELAS LÓGICAS

CONJUNÇÃO (˄) DISJUNÇÃO INCLUSIVA (˅) CONDICIONAL (→) BICONDICIONAL (↔) DISJUNÇÃO EXCLUSIVA (˅)

Só é verdade, se as duas Só é falsa, se as duas Só é falsa, se a primeira Só é verdade, se as duas Só é verdade, se as duas
proposições forem proposições forem falsas. proposição for verdade e proposições tiverem proposições tiverem
verdades. a segunda for falsa. valores iguais. valores diferentes.
VV FF VF ou VV ou FF ou VF ou FV
Só V Só F Só F Só V Só V

EQUIVALÊNCIA DA CONDICIONAL

nega a 1ª ~𝑝 ˅ 𝑞 disjunção inclusiva ~𝐁 ˅ ~𝐃

˅ { Não Bebo ou Não Dirijo.
confirma a 2ª
condicional 𝐁 → ~𝐃
troca posições Se beber, então Não Dirija.
→ { 𝐃 → ~𝐁
nega tudo ~𝑝 → ~𝑞 condicional Se Dirigir, então Não Beba.

NEGAÇÃO DE PROPOSIÇÕES COMPOSTAS NEGAÇÃO: TODO, ALGUM E NENHUM

𝒑˄𝒒 𝒑˅𝒒 𝒑 →𝒒 a) Todos os corvos são negros.
Negação: Algum corvo não é
Negação Negação Negação negro.
TODO A não é B b) Nenhum triângulo é
~𝒑 ˅ ~𝒒 ~𝒑 ˄ ~𝒒 𝒑 ˄ ~𝒒 ↕~ retângulo.
Negação: Algum triângulo é
~(𝒑 ˄ 𝒒) ~(𝒑 ˅ 𝒒) ~(𝒑 → 𝒒) ALGUM AéB
retângulo.
↕~ c) Alguns sapos são bonitos.
NENHUM AéB Negação: Nenhum sapo é
Isabela come e dorme. Isabela não come ou bonito.
Isabela não dorme. d) Algumas vidas não são
O Réu é culpado ou a O Réu não é culpado e a importantes.
Negação: Todas as vidas são
testemunha mente. testemunha não mente. importantes.
Se molhar, então vai Vai molhar e não vai ALGUM ↔ PELO MENOS UM NENHUM ↔ NÃO EXISTE (∃)
desmanchar. desmanchar. ALGUM ↔ EXISTE (∃) TODO ↔ QUALQUER (∀)