5.1241 « p . q » est l'une des propositions qui affirment « p » et en même temps l'une des propositions qui affirment « q ».

Deux propositions sont opposées l'une à l'autre s'il n'y a pas de proposition pourvue de sens qui les affirme toutes deux.

Toute proposition qui en contredit une autre la nie.