Математическая логика и теория алгоритмов. Стенюшкина В.А. - 17 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

Составляем вспомогательную таблицу 2.5.и делаем вывод, что исходный
предикат имеет значение 1.
Таблица 2.5
х P(х,а,а)
→
∃уQ(х,
у)
а 0 0
b 0 1 
Составляем вспомогательную таблицу 2.5.и делаем вывод, что исходный
предикат имеет значение 1.

     Таблица 2.5

                   х    P(х,а,а)          →      ∃уQ(х,
                                           у)
                   а    0                        0
                   b    0                        1

Страницы