Логіки першого порядку, Детальна інформація

Логіки першого порядку
Тип документу: Реферат
Сторінок: 10
Предмет: Математика
Автор: Олексій
Розмір: 57
Скачувань: 1184
Приклад 8. Предикат “х=2” не виразимий в АС (N, {(, =}).

Відображення, задане умовою ((2a(3b(c)=2b(3a(c, є автоморфізмом такої АС, бо бієктивне і зберігає значення функції ( та предикату =. Предикат "х=2" позначимо Р(х). Тоді Р(2)=T та Р(((2))=Р(3)=F.

The online video editor trusted by teams to make professional video in minutes