Antes de implementar o checkTypesForLogicalOperations