Please enable JavaScript.
Coggle requires JavaScript to display documents.
Conectivos (se e somente se (bicondicional) (VL (p e q iguais), conjunção…
Conectivos
se e somente se (bicondicional)
VL
p e q iguais
representado por <=>
conjunção de condicionais
suficiente e necessária
conjuntos iguais
comutativa
e (conjunção)
representado por ^
comutação
VL
V ^ V = V
intersecção
ou (disjunção inclusiva)
representado por v
comutação
VL
F v F = F
união
ou…, ou (disjunção exclusiva)
representado por v sublinhado
comutação
VL
V
v
F = V
F
v
V = V
união menos intersecção
se... então (condicional)
representado por =>
está contido
VL
V => F = F
condição (p => q)
suficiente
da parte (p) para o todo (q)
necessária
do todo (q) para a parte (p)
não (negação)
VL
inverso da proposição
representado por ¬ ou ˜
conjunto complementar