Leibniz, id., pag

Ex quotcumque propositionibus tieri potest una, additis omnibus subjectîs in unum subjectum et omnibus praedicatis in unum praedicatum. Ut a est by c est d, et e est /, inde fiet ace est bdf,

H. Mo CoLL, The Calculus of équivalent statements, Proceedings of the London Math. Society, a. 1878, t. X, pag. 16.