Булевы операции над объемами понятий. — КиберПедия 

Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...

Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...

Булевы операции над объемами понятий.



Операции над понятиями, точнее – над объемами понятий, то есть классами называются булевыми, по имени английского логика Дж. Буля, построившего особую алгебру логики, получившую в его честь название булевой алгебры.

Предположим, что даны два понятия aА(a)иaВ(a). Условимся, что род у этих понятий один и тот же. Объемы этих понятий будем сокращенно обозначать просто буквами А и В (читается: «класс А» и «класс В»). Тогда с этими объемами можно осуществить следующие операции:

а) пересечение (АÇВ) б) объединение (АÈВ)

       
 
   
 


В

 

в) вычитание (А\В) г) взятие дополнения (ØА)

 
 

 

 


Штриховкой на схемах обозначен результат применения соответствующих операций к классам А и В.

Пересечение объемов двух понятий равняется классу предметов, которые входят одновременно в объем каждого из них. Объединение двух понятий равняется классу предметов, которые входят в объем по крайней мере одного из них. Вычитание объема одного понятия из объема другого равняется классу предметов, которые входят в объем первого понятия, но не входят в объем второго. Дополнение к объему понятия представляет собой класс предметов, которые не входят в объем этого понятия.

26. Основные законы булевой алгебры, их характеристика.

Между понятиями существуют объективные, независящие от человека отношения. Прежде всего, это отношения сравнимости и несравнимости.

Два понятияaА(a)иaВ(a)являютсясравнимыми,если и только если их универсумы совпадают. Например, понятия о преступнике и о жертве преступления являются сравнимыми. Оба они относятся к одной и той же предметной области – универсуму людей.

Два понятияaА(a)иaВ(a)являютсянесравнимыми,если они относятся к различным универсумам. Например, понятие о четном числе и понятие о европейской столице являются несравнимыми, поскольку первое из них имеет своим родом универсум чисел, а второе – универсум городов.

Среди всевозможных пар сравнимых понятий можно выделить три фундаментальных отношения в том смысле, что с их помощью возможно задать все остальные отношения. К числу фундаментальных принадлежат отношения совместимости, включения и исчерпывания.

Фундаментальные отношения:

1) ПонятияaА(a) и aВ(a) находятся в отношении совместимости, если и только если пересечение их объемов А и В не пусто, то есть АÇВ ¹ Æ.Это означает, что в универсуме имеется по крайней мере один элемент, обладающий как признаком А(a), так и признаком В(a) (например, А – студент, В – спортсмен).



2) Понятие aВ(a) находится к понятию aА(a) в отношении включения если и только если при вычитании объема aА(a)из объемаaВ(a)получается пустое множество, то есть В\A = Æ.Это означает, что всякий элемент универсума, обладающий признаком В(a), обладает также признаком А(a)(например, А – учащийся, В– студент).

3) Понятия aА(a) и aВ(a) находятся в отношении исчерпывания, если и только если объединение их объемов А и В равно универсуму, то есть АÈВ = U.Это означает, что каждый элемент универсума обладает признаком А(a) или признаком В(a)(например, А – сын, В – дочь; каждый человек является чьим-то сыном или дочерью).

Вспомогательные отношения выводятся из фундаментальных. Наиболее важными из них являются: равнообъемность, подчинение, соподчинение, противоречие, дополнение, перекрещивание.

(1)А и В равнообъемны (2) А подчиняется В (3) А и В соподчиняются

прямоуг. с равными сторонами большой город,большой европ.город европ город,австралийский город

ромб с прямыми углами (несовместимы,не исчерпывают)

А,в

 

(4) А противоречит В(5) А дополняет В(6) А и В перекрещиваются

летат. аппарат легче/тяжелее воздуха рос.город,расплож. западнее байкала/ студент 1 курса,студ-т изуч. логику

(несовместимы,исчерпывают) восточнее урала (совместимы,исчерпывают) (совместимы,не исчерпывают)

           
   
 
   
 
 

 


А В А В

 
 


27.Логические отношения между сложными суждениями.

В процессе построения отношений между суждениями можно выделить сравнимые и несравнимые. Сравнимые суждения имеют общий субъект и предикат. Несравнимые суждения не имеют общего субъекта и предиката. Они делятся на: совместимые и несовместимые.

Несовместимыми называются суждения, у которых из истинности одного из них необходимо следует ложность другого, то есть эти суждения не могут оказаться одновременно истинными. Например, числа 1,2,3,4,… являются несовместимыми.



Совместимые суждения выражают одно и то же высказывание полностью или частично, поэтому могут быть одновременно истинными. К ним относятся отношения: эквивалентности, подчинения и субконтрарности (частичного совпадения).

Эквивалентность означает, что суждения совместимы по истинности, совместимы по ложности и из первого следует второе и наоборот.

Подчинение означает, что суждения совместимы по истинности, совместимы по ложности, из первого следует второе, но не наоборот.

Субконтрарность означает,что суждения совместимы по истинности, но не совместимы по ложности и логического следования нет.

Между логическими суждениями, высказываниями (с одинаковыми терминами) можно установить четыре типа отношений. В период Средневековья логики наглядно изображали их с помощью так называемого «логического квадрата»:

Aконтрарность Е

п е

п р и п

о о ч о

д т е д

ч и р ч

и в о и

н в о н

е и р е

н т е н

и о ч и

е р и е

п е

IсубконтрарностьО

Рассмотрим эти отношения между суждениями с помощью логического квадрата. В отношении подчинения находятся суждения форм A и I, а также суждения E и O. Например, общеутвердительное суждение «Все студенты первого курса изучают историю» является подчиняющим, а частноутвердительное суждение «Некоторые студенты первого курса изучают историю» является подчиненным.

Отношения субконтрарности (частичное совпадение)) имеет место между суждениями форм I и O, если они имеют одинаковые субъекты и одинаковые предикаты. Они являются совместимыми по истинности, но несовместимыми по ложности. Например, частноутвердительное суждение «Некоторые студенты-первокурсники занимаются в научных кружках» и частноотрицательное суждение «Некоторые студенты-первокурсники не занимаются в научных кружках». Оба суждения могут быть одновременно истинными, но ложными одновременно не могут быть.

Отношения несовместимости имеют место между отношениями контрарности (противоположность) и контрадикторности (противоречие). При этом контрарностьпоказывает отношения между суждениями форм A и E, которые совместимы по ложности, но не совместимы по истинности. Например, не могут быть одновременно истинными два суждения: «Все студенты учебной группы изучают китайский язык» и «Ни один студент учебной группы не изучает китайский язык».

Отношения котрадикторности имеют место между суждениями A и O, а также E и I. Они не совместимы по истинности и по ложности. Например, общеутвердительное суждение «Все люди обладают сознанием» и частноотрицательное суждение «Некоторые люди не обладают сознанием». Эти суждения не могут быть одновременно истинными и ложными. Также пример для общеотрицательного суждения «Ни один студент не может быть профессором» и частноутвердительного суждения «Некоторые студенты являются профессорами».






Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...

Организация стока поверхностных вод: Наибольшее количество влаги на земном шаре испаряется с поверхности морей и океанов (88‰)...

Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...

Опора деревянной одностоечной и способы укрепление угловых опор: Опоры ВЛ - конструкции, предназначен­ные для поддерживания проводов на необходимой высоте над землей, водой...





© cyberpedia.su 2017 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав

0.011 с.