Expressões envolvendo operações com proposições e valor lógico