Учебное пособие Владивосток Издательский дом Дальневосточного федерального университета 2013 ббк 22. 12 К 93

Найти отрицания следующих формул:


Решение:

15. 
    Даны два предиката Q(x, y) и R(y, z), определенные на множестве M M, где M = {a, b, c}. Записать без использования кванторных операций следующие формулы:
    

:
Решение:

19. 
    Привести к приведенной нормальной форме следующие формулы логики предикатов:
    
    1. 
       
       

2. 
   
   

Литература

1. 
   Игошин В.И. Математическая логика и теория алгоритмов. – Саратов : Издательство Саратовского университета, 1991.
   
2. 
   Игошин В.И. Задачник-практикум по математической логике. – М. : Просвещение, 1986.
   
3. 
   Лавров И. А., Максимова Л. Л. Задачи по теории множеств, математической логике и теории алгоритмов. – 5-е изд. – М. : Физматлит, 2004, 256 с.
   
4. 
   Гаврилов Г. П., Сапоженко А. А. Задачи и упражнения по дискретной математике. – М. : Физматлит, 2005, 416 с.
   
5. 
   Яблонский С.В. Введение в дискретную математику. – М. : Физматлит, 2004, 384 с.
   
6. 
   Лихтарников Л. М., Сукачева Т. Г. Математическая логика: курс лекций : задачник-практикум и решения. – СПб. : Лань, 2009, 288 с.
   

Содержание

§ 1. Основные понятия 3
§ 2. Классификация предикатов 3
§ 3. Множество истинности предиката 4