Símbolos aceitos

• Variáveis sentenciais: letras maiúsculas ou minúsculas (exceto V, F, v, f)
• Conectivo "não": ¬, ~, -
• Conectivo "e": ∧, &, .
• Conectivo "ou": ∨, +
• Conectivo "se ..., então": →, ->
• Conectivo "se, e somente se": ↔, <->