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

Логіки першого порядку

Тип документу: Реферат

Сторінок: 10

Предмет: Математика

Автор: Олексій

Розмір: 57

Скачувань: 1184

5 6 7 8 9 10

Приклад 8. Предикат “х=2” не виразимий в АС (N, {(, =}).

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

5 6 7 8 9 10

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