Posts about Propositional

RSS feed (Propositional, en)

Canal RSS (Proposicional, es)

Also available in:

Español (Proposicional)

Praeclarum theorema

José A. Alonso

Logic/Propositional

Prove with Lean4 and with Isabelle/HOL the Praeclarum theorema of Leibniz: \[ (p ⟶ q) ∧ (r ⟶ s) ⟶ ((p ∧ r) ⟶ (q ∧ s)) \]