Fundamentos da Lógica (Raciocínio lógico)

Prévia do material em texto

FUNDAMENTOS DA LÓGICA 
➢ 
➢ 
CONECTIVOS LÓGICOS 
CONECTIVO SIMB. NOMENCLATURA 
∧
∨
→
↔
⊻
 
1) Exemplos 
∧ 
→
⊻ 
 
2) NÃO SÃO PREPOSIÇÕES 
• 
• 
• 
• 
• 
• 
✓ Sentenças abertas 
 
✓ Paradoxo 
TABELAS-VERDADE 
1) “e” - ∧ - Conjunção 
e
A B A ∧ B 
V V V 
2) “OU” - ∨ - Disjunção 
ou
 
A B A ∨ B 
F F F 
3) “Se...então” - → - Condicional 
→ V F F
 
A B A → B 
V F F 
 
4) ‘Se somente se” - ↔ - Bicondicional 
 
↔
 
A B A ↔ B 
V V V 
F F V 
 
5) “Ou...ou” - ⊻ - Disjunção Exclusiva 
 
A B A ⊻ B 
V F V 
F V V 
(P/ CESPE)
“ ”
“ ”
Maneiras distintas de se representar “Se A, então B” 
Nº Linhas da Tabela-Verdade 
𝑵 = 𝟐𝒙
º
Negação 
A ~A ~(~A) 
• 
• 
LEI DE MORGAN 
✓ Negação do “E” 
 
Macete:
✓ Negação do “OU” 
 
 
Macete:
✓ Negação do “Se...então” 
 
Macete:
✓ Negação do “Se somente se” 
 
✓ Negação “Ou...ou” 
 
Negação Composta 
Negação dos Quantificadores Lógicos 
AFIRMAÇÃO NEGAÇÃO 
• 
• 
• “ ” “ ”
“ ” “ ”
~ (A ∧ B) = ~A ∨ ~B
~ (A ∨ B) = ~A ∧ ~B
~ (A → B) = A ∧ ~B
~(A ⊻ B) = A↔B
~(A ↔ B) = A ⊻ B
(Condicional disfarçada) 
 
“ ” “ ”
“ ”
“ ” “ ”
 ≤ 
“
” “
”.
• 
✓ Negação Composta 
Equivalências 
“ ”
EQUIVALÊNCIAS 
∧ ∧
∨ ∨
↔ ↔ 
⊻ ⊻
→ ≠ →
1) Equivalência do Se...então: 
a) Principal:
b) Secundária:
✓ Etapas p/ resolução de questões 
 
 “ ”
Tautologia, Contradição e Contingência 
✓ 
✓ 
✓ 
Resolução de Questões 
Macete
∧ → ∨
- Forçar uma proposição falsa 
∧ → ∨ – →
∧ → ∨
- Por Tabela-verdade 
∧ ∨ ∧ → ∨
A → B = ~B → ~A
A → B = ~A ∨ B