Словарь логики

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