La proposizione afferma ogni
proposizione che ne segue.
5.1241 "p.q"
è una delle proposizioni che affermano "p" e, a un tempo, una delle
proposizioni che affermano "q".
Due proposizioni sono opposte l'una
all'altra se non v'è proposizione munita di senso che le affermi ambedue.
Ogni proposizione che ne contraddice
un'altra la nega.