5.1241 «p . q» es una de las proposiciones, las cuales afirman «p» y a la vez una de las proposiciones, las cuales afirman «q».

Dos proposiciones son opuestas entre sí, cuando no hay ninguna proposición significativa que las afirme a ambas.

Cada proposición que contradice a otra, la niega.