This is the sense used in traditional Aristotelian logic, although in contemporary mathematical logic the term satisfiable is used instead.
Odpowiada to pojęciu niesprzeczności w tradycyjnej logice Arystotelesa, aczkolwiek w dzisiejszej logice matematycznej używa się w zamian określenia spełnialności.