Template:Individual-TLP-paragraph-fr-5.1241
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.