Логика предикатов с одним переменным

| Категория реферата: Рефераты по логике
| Теги реферата: реферат на тему характеристика, научные текст
| Добавил(а) на сайт: Шитов.

P Q [pic] [pic][pic]Q ([pic][pic]Q)[pic]P

0 0 1 0
1

0 1 1 1
0

1 0 0 1
1

1 1 0 1
1

Таким образом, формула ([pic][pic]Q)[pic]P является выполнимой, следовательно, [pic] является тождественно истинной формулой в алгебре высказываний [pic] U также тождественно истинная формула на поле, содержащем [pic] элементов. Это оэначает, что U тождественно истинна.

ЛИТЕРАТУРА

П. С. Новиков, “Элементы математической логики”, государственное издательство физико-математической литературы, М., 1959