 The relation between connexive logic and relevance logic can also be seen as follows. Let A and B be contingent formulas of classical propositional logic, i.e., formulas that are neither constantly false nor constantly true. It is well-known that then the following holds in classical logic: