![[ИТ-лекторий ФКН ВШЭ]: Диалоговые системы. Татьяна Ландо](https://cdn.slidesharecdn.com/ss_thumbnails/fknlando-160519095450-thumbnail.jpg?width=560&fit=bounds)
Ad
More Related Content
Viewers also liked (20)
ресурсы логической игры_2
- 1. Льюис Кэрролл Ресурсы Логической Игры © MetaPractice А. Бояркин
- 2. Вид классического силлогизма Все колибри имеют яркое оперение. Все Х есть M Все имеющие яркое оперение питаются нектаром Все M есть Y Вывод: Все колибри питаются нектаром Все Х есть Y
- 3. Виды суждений которые являются посылками классического силлогизма Все Х есть M Все М есть Х Некоторые Х есть М Ни один Х не есть М
- 5. Формальная запись КС по ЛК
- 6. Формальная запись Суждение вида: Некоторые Х есть М В формальной записи выглядит: XМ1 или МX1
- 7. Формальная запись Суждение вида: Ни один Х не есть М В формальной записи выглядит: MX0 или ХM0
- 8. Средние термины Даны посылки: Все Х есть M Все М есть Y Формальная запись = X1MꞋ0 - М1YꞋ0 Рассмотрим средние термины: MꞋ0 - МꞋ1 они имеют одинаковые знаки (Ꞌ - Ꞌ), и разные сущности (-0 -1) Эти качества М будут использованы для получения правильного вывода
- 9. Средние термины Даны посылки: Все Х есть M Некоторые М есть Y Формальная запись = X1MꞋ0 - МY1 Рассмотрим средние термины: MꞋ0 - М1 они имеют разные (Ꞌ - ), и разные сущности (-0 -1) Эти качества М будут использованы для получения правильного вывода
- 10. 3 правила создания правильного вывода Правило 1: Для средних терминов имеющих разные знаки Правило 2: Для средних терминов имеющих один знак Правило 3: Ошибки вывода (исключения)
- 11. Правило 1 Когда средние термины разных знаков (MꞋ0 – M0) (MꞋ0 – M1) (МꞋ1 – M1) то ХиY, в выводе, сохраняют свои знаки и сущность Например: X1MꞋ0 – Y1M0 = X1Y1 MꞋ1XꞋ0 – YꞋM0 = XꞋYꞋ0
- 12. Правило 2 Когда средние термины одного знака (MꞋ0 – MꞋ1) (МꞋ1 – MꞋ1) (M0 – M1) (М1 – M1) то вывод имеет вид: XY1 Некоторые Х есть Y и ХиY, в выводе, меняют знак на противоположный, кроме стоящих в посылках XМ1 Например: М1ХꞋ0 – Y1M0 = XYꞋ1 MꞋ1XꞋ0 – MꞋ1YꞋ = XY1
- 13. Правило 3 Вывод НЕВОЗМОЖЕН Когда средние знаки “нулевые” и одного знака. M0 – M0 (M’0 – M’0 ) Х1MꞋ0 – YMꞋ0 Когда одна посылка имеет вид XМ1, а средний термин во второй посылке отличается по знаку. Х1MꞋ0 – YM1 MꞋ1XꞋ0 – YM1
- 14. Пример 1: Все британцы храбры. Ни один моряк не трусы. Формальная запись: Х1MꞋ0 - YMꞋ0 Правило 3 Вывод сделать нельзя
- 15. Пример 2: Некоторые свиньи дикие. Все свиньи жирные. Формальная запись: MХ1 - M1YꞋ0 Правило 2 1) Вывод имеет вид YХ1 2) XY1 Вывод: Некоторые дикие животные жирные