Modus ponens and modus tollens for the compositional rule of inference with aggregation functions