Типы сооружений для обработки осадков: Септиками называются сооружения, в которых одновременно происходят осветление сточной жидкости...
Механическое удерживание земляных масс: Механическое удерживание земляных масс на склоне обеспечивают контрфорсными сооружениями различных конструкций...
Топ:
Основы обеспечения единства измерений: Обеспечение единства измерений - деятельность метрологических служб, направленная на достижение...
Генеалогическое древо Султанов Османской империи: Османские правители, вначале, будучи еще бейлербеями Анатолии, женились на дочерях византийских императоров...
Определение места расположения распределительного центра: Фирма реализует продукцию на рынках сбыта и имеет постоянных поставщиков в разных регионах. Увеличение объема продаж...
Интересное:
Влияние предпринимательской среды на эффективное функционирование предприятия: Предпринимательская среда – это совокупность внешних и внутренних факторов, оказывающих влияние на функционирование фирмы...
Уполаживание и террасирование склонов: Если глубина оврага более 5 м необходимо устройство берм. Варианты использования оврагов для градостроительных целей...
Аура как энергетическое поле: многослойную ауру человека можно представить себе подобным...
Дисциплины:
2017-12-13 | 1424 |
5.00
из
|
Заказать работу |
|
|
Наконец мы подошли к самому важному и полезному пункту нашего изложения.
Определение 17.1. Умозаключение (рассуждение) – это логическое действие, позволяющее получать новое знание из уже имеющегося.
Фактически, умозаключение представляет собой импликацию вида
А1⋀ А2⋀ … ⋀Аn →В, (17.1)
где А1, А2, …,Аn - связанные между собой по смыслу высказывания, называемые посылками, а В – высказывание, называемое выводом.
Определение 17.2. Говорят, что умозаключение обладает правильной формой, если при любых предположениях об объемах понятий, используемых в посылках, из истинности посылок следует истинность вывода.
Пример1 (иллюстрация к закону контрапозиции для предикатов).
Если лягушка квакает, то она довольна собой
Если лягушка недовольна собой, то она не квакает (17.2)
В этом примере у нас имеется одна-единственная посылка: «Если лягушка квакает, то она довольна собой».
“На языке предикатов и кванторов” умозаключение (17.2) запишется в виде
[ K(x) →Д(x)] →[ ⅂Д(x) →⅂K(x)]. (17.2’)
Здесь L – множество лягушек, K(x) – «лягушка х квакает», Д(x) – «лягушка х довольна собой». Истинность посылки, очевидно, означает, что для множеств истинности предикатов K(x) и Д(x) должно быть выполнено включение
Kи Ди
(см. по этому поводу также п.7). Однако из этого включения немедленно следует “обратное” включение для дополнений к соответствующим множествам истинности:
(Ди)’ (Kи)’,
откуда, в свою очередь, следует истинность вывода в (17.2) (см. рис. 17.1).
Замечание. Умозаключение (17.2), очевидно, можно было бы переписать также “на языке множеств”:
Kи Ди (17.2”)
(Ди)’ (Kи)’
Пример 2.
Некоторые розы – красные
Ни одна собака не красная
Ни один фокстерьер не красный (17.3)
|
Фокстерьеры – это собаки
Мы предоставляем читателю возможность переписать (17.3) «на языке предикатов и кванторов», а вместо этого запишем это умозаключение сразу в менее громоздком виде «на языке множеств»:
Pи Ки
Си (Kи)’
Фи (Kи)’
Фи Cи (17.3’)
Здесь Ри - множество роз (т.е. множество истинности предиката «х – роза»);
Ки - множество красных объектов (т.е. множество истинности предиката «х – красный»);
Си - множество собак (т.е. множество истинности предиката «х – собака»);
Фи - множество фокстерьеров (т.е множество истинности предиката «х – фокстерьер»).
Все посылки нашего умозаключения (17.3), а также его вывод – истинны. Но правильна ли форма этого умозаключения? Для того чтобы получить ответ на этот вопрос, посмотрим на рис. 17.2.
Мы видим, что все требования, которые обеспечивают истинность посылок в (17.3’), соблюдены на рис. 17.2, но ожидаемого вывода мы не получили. Это как раз и означает, что форма нашего умозаключения – неправильная.
Пример 3.
Ни одна кукушка не умеет читать
Некоторые утки умеют плавать
Некоторые утки – не кукушки (17.4)
Сразу же перепишем умозаключение (17.4) «на языке множеств»:
Ки (Чи)’
Уи Пи
Уи (Ки)’ (17.4’)
Здесь Ки – множество кукушек; Чи – множество существ, умеющих читать;
Уи – множество уток; Пи – множество существ, умеющих плавать.
Снова посылки и вывод – истинные высказывания, но, как видно из рис. 17.3, истинность посылок не обеспечивает истинность вывода. Поэтому форма умозаключения (17.4) – неправильная.
Приложение. Двенадцать иллюстраций
|
|
Кормораздатчик мобильный электрифицированный: схема и процесс работы устройства...
История создания датчика движения: Первый прибор для обнаружения движения был изобретен немецким физиком Генрихом Герцем...
История развития пистолетов-пулеметов: Предпосылкой для возникновения пистолетов-пулеметов послужила давняя тенденция тяготения винтовок...
Наброски и зарисовки растений, плодов, цветов: Освоить конструктивное построение структуры дерева через зарисовки отдельных деревьев, группы деревьев...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!