Definition talk:Logical Implication/Distinction with Conditional

In a category (e.g. implications among statements) the diagramme $A \to B \to C$ is $A \to B$, $B \to C$ put together, but not necessarily $\paren {A \to B} \to C$, nor $A \to \paren {B \to C}$. Indirigible (talk) 03:22, 15 September 2020 (UTC)

This is not category theory. This is logic. --prime mover (talk) 05:27, 15 September 2020 (UTC)