Estruturas Lógicas - (Lógica de Primeira Ordem)
Operadores Lógicos
Modificador "não" (Negação de Proposição Simples)