Элементы математической логики. Практическая работа 3. Вариант 1

Краткое описание

ПРАКТИЧЕСКАЯ РАБОТА  №3 «ПРЕДИКАТЫ»

Вариант № 1

1.Пусть предикат P (x,y) задан на множестве М={a, b, c} таблицей. Определить истинность следующих формул: 

 а. х P(х,а) ,  x P(х,a),  y P(a,y)

b. х Р(х,b),  х Р(х,b),  y Р(b,y),  y Р (b,y)

c. х  y Р(х,y),  х y Р(х,y),  y хР(х,y),  y   х P(х,y)

d. y  х Р(х,y),  х  y Р(х,y), х  y Р(х,y),  y х Р(х,y)

Таблица

2.Пусть предикат Р(х,y) описывает отношение «x является родственником y» на множестве людей. Рассмотреть все варианты навешивания кванторов на обе переменные. Дать словесную формулировку полученных высказываний и определить их истинность.