ОТВЕТ на тест ТУСУР Математическая логика и теория алгоритмов: Задан некоторый язык первого порядка с константами a и b одноместными предикатными символами P и Q . Пусть задана интерпретация, носитель которой состоит из двух элементов {a,b}
Раздел
Математические дисциплины
Предмет
Тип
Просмотров
132
Покупок
0
Антиплагиат
Не указан
Размещена
10 Мар в 09:08
ВУЗ
ТУСУР
Курс
1 курс
Стоимость
100 ₽
Демо-файлы
1
Демо
31.1 Кбайт
Файлы работы
1
Каждая работа проверяется на плагиат, на момент публикации
уникальность составляет не менее 40% по системе проверки eTXT.
Ответ
31 Кбайт
Описание
Задан некоторый язык первого порядка с константами a и b одноместными предикатными символами P и Q . Пусть задана интерпретация, носитель которой состоит из двух элементов {a,b} . Интерпретация предикатов: P(a)=1 , P(b)=1 ; Q(a)=1 , Q(b)=0 . Найдите истинностные значения формул в данной интерпретации (0 – ложь; 1 – истина)
Вам подходит эта работа?
Похожие работы
Другие работы автора