5.1241 «p . q» è una delle proposizioni che affermano «p» e, allo stesso modo, una delle proposizioni che affermano «q».

Due proposizioni sono contraddittorie quando non vi è alcuna proposizione dotata di senso che le afferma entrambe.

Ogni proposizione che ne contraddice un'altra la nega.