Vastuolulisus
Vastuolulisus on propositsioonide kogumi omadus, mis seisneb selles, et on loogiliselt võimatu, et kõik sellesse kuuluvad propositsioonid oleksid tõesed. Sellest definitsioonist järeldub, et propositsioon on vastuoluline siis ja ainult siis, kui on loogiliselt võimatu, et ta oleks tõene.
Kahest teineteisega kontradiktoorsest propositsioonist koosnev kogum on vastuoluline.
Kahest propositsioonist koosnevasse vastuolulisse kogumisse kuuluvad propositsioonid ei pruugi olla teineteisega kontradiktoorsed. Võtame näiteks „Margus on üle kahe meetri pikk“ ja „Margus on alla kahe meetri pikk“.