*3. THE LOGICAL PRODUCT OF TWO PROPOSITIONS.
Project Gutenberg EPUB3 edition
Whitehead, Alfred North and Russell, Bertrand
This theorem is the analogue of *3·47.
Dem.