5.1241
“p.q” is one of the propositions which assert “p” and at the same time one of the propositions which assert “q”. Two propositions are opposed to one another if there is no significant proposition which asserts them both. Every proposition which contradicts another, denies it.