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”
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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”
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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.
How well did you know this?
1
Not at all
2
3
4
5
Perfectly