Please enable JavaScript.
Coggle requires JavaScript to display documents.
Conectivos Lógicos (Ordem de resolução (Parênteses, " ~ "…
Conectivos Lógicos
Ordem de resolução
Parênteses
" ~ " Negação
" ^ " Conjunção
" v " Disjunção
" → " Condicional
" ↔ " Bicondicional
Conjunção
("e")
V quando ambas V
F quando uma ou mais F
"Exigente! Só V quando tudo V!
Disjunção
("Ou")
Oposto da Conjunção
F
quando ambas
F
V
quando uma ou mais
V
Condicional
("Se ... Então →")
F
se
V
era
F
ischer
V
demais casos
Equivalentes
Se p, q
Q, se P
Quando P, Q
Todo P é Q
P implica em Q
P é condição suficiente para Q
Q é condição necessária para P
P somente se Q
Bicondicional
("Se e somente se. ↔")
Iguais
V
e diferentes
F
Equivalentes
P se e só se Q
Se P então Q e se Q então P
P somente se Q e Q somente se P
Todo P é Q e todo Q é P
P é condição suficiente e necessária para Q
Q é condição suficiente e necessária para P
Disjunção Exclusiva
("Ou ... Ou. ")
V
quando valores contrários
F
quando valores iguais
Termos
Contradição
Coluna resultado sempre
F
Contingência
Coluna resultado
V
e
F
Tautologia:
Coluna resultado sempre
V
Operador Lógico "Não"
(" ~ ")
