СОВМЕСТИМОСТЬ

– вид отношения между понятиями и суждениями. Два понятия называются совместимыми, если их объемы совпадают полностью или частично, т. е. имеют хотя бы один общий элемент. Напр., понятия «политик» и «спортсмен» частично совпадают по своему объему: имеются люди, которые одновременно являются и политиками, и спортсменами, т. е. включаются в объем и первого, и второго понятия, следовательно, эти понятия совместимы. Понятия «первоклассник» и «политик» не имеют общих элементов в своем объеме, т. е. нет ни одного человека, который одновременно является первоклассником и политиком, следовательно, они несовместимы. Совместимые понятия могут быть: равнообъемными, подчиненными и подчиняющими, перекрещивающимися.

Совместимыми называют такие суждения, которые могут быть вместе истинными, т. е. истинность одного не исключает истинности другого. Напр., суждения «Некоторые люди – блондины» и «Некоторые люди – не блондины» оба истинны, следовательно, они совместимы. В традиционной логике совместимыми считаются общеутвердительное и частноутвердительное, общеутвердительное и частноотрицательное, частно-утвердительное и частноотрицательное суждения. В математической логике совместимыми называют предложения, которые вместе истинны хотя бы при одном наборе значений переменных. Напр., предложения А & В и А -> В совместимы, так как они одновременно истинны в том случае, когда А истинно и В истинно.