Xreferat.com » Рефераты по логике » Логика предикатов с одним переменным
Логика предикатов с одним переменным
1
1 0 1 1
Таким образом, формула (Q)P является выполнимой, следовательно, является тождественно истинной формулой в алгебре высказываний U также тождественно истинная формула на поле, содержащем элементов. Это оэначает, что U тождественно истинна.
ЛИТЕРАТУРА
П. С. Новиков, “Элементы математической логики”, государственное издательство физико-математической литературы, М., 1959
Если Вам нужна помощь с академической работой (курсовая, контрольная, диплом, реферат и т.д.),
обратитесь к нашим специалистам. Более 90000 специалистов готовы Вам помочь.
Бесплатные корректировки и доработки. Бесплатная оценка стоимости работы.
Нужна помощь в написании работы?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Пишем статьи РИНЦ, ВАК, Scopus.
Помогаем в публикации. Правки вносим бесплатно.