Домашнее задание по теме «Исчисление предикатов» Пушникова Марина

Домашнее задание по теме «Исчисление предикатов» Пушникова Марина Юрьевна

1. Запишите символически следующие суждения: a) "все судьи - юристы, но не все юристы – судьи”; С(х)={х - судья} U(x)={х - юрист}

1. Запишите символически следующие суждения: б) "лица, проходившие ранее подготовку в аспирантуре, использовавшие отпуск для завершения диссертации как соискатели или бывшие в творческом отпуске для завершения диссертации, правом поступления в аспирантуру не пользуются". A(x)={х проходил ранее подготовку в аспирантуре} B(x)={х использовал отпуск для завершения диссертации как соискатель} C(x)={х был в творческом отпуске для завершения диссертации} D(x)={х не пользуется правом поступления в аспирантуру}

1. Запишите символически следующие суждения: в) “Судья, являющийся родственником потерпевшего, не может участвовать в рассмотрении дела. Судья X - родственник потерпевшего. Следовательно, судья X не может участвовать в рассмотрении дела.” C(x)={х - судья} R(x)={х – родственник потерпевшего} P(x)={х участвует в рассмотрении дела}

1. Запишите символически следующие суждения: г) “К уголовной ответственности привлекаются лица, совершившие тайное похищение личного имущества граждан. Обвиняемый X не совершал тайного похищения личного имущества граждан. Следовательно, обвиняемый X не может быть привлечен к уголовной ответственности”. P(x)={х совершил тайное похищение личного имущества граждан} U(x)={х привлечен к уголовной ответственности} О(х)={х – обвиняемый}

1. Запишите символически следующие суждения: д) “Если иск предъявлен недееспособным лицом, то суд оставляет иск без рассмотрения. Иск предъявлен недееспособным лицом. Следовательно, суд оставляет иск без рассмотрения”. A(x;y)={иск х предъявлен недееспособным лицом у} B(x)={суд оставляет иск х без рассмотрения}

2. Привести к предваренной нормальной форме:

2. Привести к предваренной нормальной форме:

3. Привести к сколемовской стандартной форме:

3. Привести к сколемовской стандартной форме:

3. Привести к сколемовской стандартной форме:

4. Какие из нижеприведенных формул являются тождественно истинными:

4. Какие из нижеприведенных формул являются тождественно истинными:

4. Какие из нижеприведенных формул являются тождественно истинными:

4. Какие из нижеприведенных формул являются тождественно истинными:

4. Какие из нижеприведенных формул являются тождественно истинными:

5. Докажите выводимость заключения методом дедукции:

5. Докажите выводимость заключения методом дедукции:

5. Докажите выводимость заключения методом дедукции:

5. Докажите выводимость заключения методом дедукции:

6. Докажите выводимость заключения по принципу резолюции:

6. Докажите выводимость заключения по принципу резолюции: