Please enable JavaScript.
Coggle requires JavaScript to display documents.
Quantificadores
lógicos, :warning: Dicas:
Para negar podemos usar ou…
Quantificadores
lógicos
-
-
-
Disjunção exclusiva
⊻ e <> (em pé, tipo balão)
É comutativo
- Ou... ou
- P1 ou P2, MAS NÃO P1 e P2
-
-
:warning: Dicas:
- Para negar podemos usar ou não o termo NÃO. Tem que analisar pela questão.
- Quantas linhas deve ter
a tabela verdade? 2^n (n = número de
proposições)
- Símbolos:
- está contido
- ⇔ se e somente se
- ⇒ Se
- ∀ para todo
- ∃ existe
- ∄ não existe
-