Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Слабая дизъюнкция




Разделительный логический союз “или” употребляется в трех значениях, имеет три разновидности, или формы, каждая из которых выражает конкретный способ связи между высказываниями: 1) не исключающий (допускающий совместимость); 2) строго разделительный (позволяющее только обособленное существование его компонентов) и 3) исключающий (характеризующий полную несовместимость). Поэтому и сложные высказывания, образуемые с помощью этого союза, бывают трех типов: 1) слабая дизъюнкция (не исключающие высказывания); 2) сильная дизъюнкция (строго разделительные высказывания) и 3) эксклюзия (исключающие высказывания).
Слабая дизъюнкция (лат. – разделение, разобщение) получается из двух простых высказываний, соединенных с помощью слабого логического союза “или”. Здесь у союза ”или” нет исключающего смысла и соединяемые высказывания вполне совместимы. В естественном языке смысл слабой дизъюнкции можно передать следующим образом: “или это, или то, или то и другое вместе”. Таблица истинности слабой дизъюнкции дает нам такой результат:

p q pÚq
И И И
И Л И
Л И И
Л Л Л


Дизъюнкция обозначается знаком . Сравнение конъюнкции и дизъюнкции приводит к следующему результату. Если взять в обратном порядке истинностные значения конъюнкции и заменить их противоположными, то получим табличное определение дизъюнкции. Аналогичная процедура с дизъюнкцией дает нам конъюнкцию. Отсюда один из символических обозначений конъюнкции () есть перевернутый знак дизъюнкции ().
Проиллюстрируем слабую дизъюнкцию следующим примером. Известно, что медь и золото составляют класс так называемых красных металлов. Пусть имеет место ситуация “Красный металл”:

1-я строка – Медь есть (p истинно) и золото есть (q истинно). Красный металл есть .

2-я строка – Медь есть (p истинно), но золота нет (q ложно). Красный металл все-таки есть. .

3-я строка – Меди нет (p ложно), однако золото есть (q истинно). Тогда
, ибо есть красный металл.

4-я строка – Нет ни меди (p ложно), ни золота (q ложно). Тогда , поскольку красного металла нет.

Примером слабой дизъюнкции является перечисление возможных событий, причин и т.п. “Автомобиль опрокинулся на повороте вследствие или превышения скорости, или резкого торможения, или неправильного расположения груза, или того и другого вместе”. Иначе говоря, хотя бы одно из высказываний должно иметь место.




Поделиться с друзьями:


Дата добавления: 2014-01-04; Просмотров: 1723; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.01 сек.