Conectivos Lógicos Flashcards
(6 cards)
1
Q
Tipos de conectivos e suas estruturas.
A
Conjunção P^Q “e” Disjunção PvQ “ou” Disjunção exclusiva P_v_Q “ou,ou” Condicional P->Q “se então” Bicondicional PQ “se somente se” Negação ~P “não”
2
Q
Tabela verdade dos conectivos.
A
Conjunção = verdade mais verdade é verdade
Disjunção = se tem uma verdade é verdade
Disjunção exclusiva = se mais de uma verdadeira fica falso
Condicional = verdadeiro e falso é falso (veraficher é falsa)
Bicondicional = se for igual é verdade
3
Q
•Negação da conjunção, disjunção e condicional.
A
•Negação de “e” ~(P^Q) = ~P v~Q
Nega tudo e troca por ou.
•Negação de “ou” ~(PvQ) = ~P ^ ~Q
Nega tudo e troca por e.
•Negação de “se então” ~(P->Q) = P^~Q
MANE mantém a primeira E nega a segunda.
4
Q
- Tautologia
- Contradição
- Contingência
A
- Tautologia: quando da tudo verdadeiro
- Contradição: quando da tudo falso
- Contingência: quando for misturado(verdadeiro e falso)
5
Q
Equivalência lógica
• 1 regra contrapositiva
• 2 regra Silogismo disjuntivo
A
• Se então. “se estudo, então passo” P->Q - Inverte e nega tudo - ~Q->~P “Se não passo, então não estudei”
• Ou. “Estudo ou passo” PvQ -nega a primeira e repete a segunda e transforma o OU em se então - ~P->Q “Se não estudo, então passo”
6
Q
Negação dos qualificadores
•Todo
•Algum
•Nenhum
A
- Todo: troca por ALGUM e nega o verbo.
- Nenhum: troca por ALGUM
- Algum:
- Afirmativo: troca por NENHUM
- Negativo: troca por TODO e nega o verbo.