Условие задачи
Запишите символически следующие суждения:
а) «Лица, проходившие ранее подготовку в аспирантуре, использовавшие отпуск для завершения диссертации как соискатели или бывшие в творческом отпуске для завершения диссертации, правом поступления в аспирантуру не пользуются».
б) “К уголовной ответственности привлекаются лица, совершившие тайное похищение личного имущества граждан. Обвиняемый X не совершал тайного похищения личного имущества граждан. Следовательно, обвиняемый X не может быть привлечен к уголовной ответственности”.
Ответ
а) Лица, проходившие ранее подготовку в аспирантуре, использовавшие отпуск для завершения диссертации как соискатели или бывшие в творческом отпуске для завершения диссертации, правом поступления в аспирантуру не пользуются.
Введем обозначения для предикатов:
(x) x проходил ранее подготовку в аспирантуре;
