Условие задачи
1. _Пусть R(x) означает «х есть рыба»
А(x) означает «х есть акула»
Что означают утверждения:
R(сом)
¬ R(кит)
∃x А(x)
Какие из них истинны, какие нет?
2. Как записать утверждения:
«Не все рыбы являются акулами»
«Все акулы - рыбы»
Требуется выразить утверждения естественного языка средствами формальной системы Исчисление предикатов 1 порядка. Также необходимо оценить истинность или ложность записанных утверждений в конкретной интерпретации.
Ответ
R(сом) означает, что сом является рыбой
R(кит) означает, что...
Потяни
