Логика предикатов с одним переменным
Категория реферата: Рефераты по логике
Теги реферата: реферат на тему характеристика, научные текст
Добавил(а) на сайт: Шитов.
Предыдущая страница реферата | 1 2 3
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
Скачали данный реферат: Kuligin, Ol'ga, Solov'jov, Хуртин, Чайка, Shishkanov.
Последние просмотренные рефераты на тему: бесплатные рефераты без регистрации скачать, доклад на тему жизнь, оформление реферата, сочинение на тему.
Предыдущая страница реферата | 1 2 3