Essays.club - Получите бесплатные рефераты, курсовые работы и научные статьи
Поиск

Практическая работа по "Логике"

Автор:   •  Июнь 4, 2020  •  Практическая работа  •  284 Слов (2 Страниц)  •  312 Просмотры

Страница 1 из 2

Практическое задание 6

1 задание

xyRxy → xyRxy
Модель:
x-колледж
y
-университет    
R
- дистанционное обучение
Если все учебные заведения на дистанционном обучении, то колледж и университет на дистанционном обучении
Докажем общезначимость формулы от противного:
Если все учебные заведения на дистанционном обучении, то колледж и университет не на дистанционном обучении. Появляется противоречие: если все учебные заведения переходят на дистанционное обучение, то любой колледж и любой университет должены перейти на дистанционное обучение. Наша гипотеза неверна. Формула
xyRxy → xyRxy будет общезначимой при любой интерпретации.

2 задание

xyRxy → yxRxy
Модель:
x-9-тиклассник
y
-ОГЭ  
R
- сдавать
Если для всякого 9-тиклассника существует ОГЭ, который он сдает, то существует ОГЭ для всякого 9-тиклассника, который сдает его.
Докажем, что наша формула опровержима. Так как мы можем взять любого выпускника, то наша гипотеза неверна. Потому что не любой 9-тиклассник сдает ОГЭ. Таким образом, формула
xyRxy → yxRxy опровержима.
3 задание

x[Px  yRxy]

¬(x[Px  yRxy]) -гипотеза
¬ [Pz
 yRzy]
¬ Pz      ¬
yRzy
             ¬
yRzy, ¬ Rzа
- нет замкнутых столбцов, формула не является общезначимой

[pic 1][pic 2][pic 3]

...

Скачать:   txt (2.8 Kb)   pdf (67.4 Kb)   docx (553.2 Kb)  
Продолжить читать еще 1 страницу »
Доступно только на Essays.club