“ 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.