Praeclarum Theorema

Context : Classical Propositional Calculus
Classical Propositional Calculus

Statement
$$((a \Rightarrow b) \land (d \Rightarrow c)) \Rightarrow ((a \land d) \Rightarrow (b \land c))$$

Proof
See below.

Context : Logical Graphs
Logical Graph