Lógica Proposicional - (Lógica de Primeira Ordem)
Operações Lógicas / Conectivos Lógicos
Conjunção "e"