5.1241p . q” é uma das proposições que afirmam “p” e ao mesmo tempo uma das proposições que afirmam “q”.

Duas proposições são opostas uma à outra se não existir qualquer proposição significativa que afirme ambas.

Cada proposição que contradiz a outra, nega-a.