1
negação da operação de bicondicional
2
Frases declarativas afirmativas ou negativas com valor verdadeiro ou falso
3
negação da operação de disjunção inclusiva (OU)
4
conectivo lógico representado pelo símbolo "¬" ou "~"
5
usada para determinar a validade de uma fórmula lógica
6
negação da operação de conjunção (E)
7
principal conectivo lógico representado pelo símbolo "v"
