Условие:
Выведите заключение из данных посылок и проверьте правильность вывода в соответствии с правилами модусов умозаключений, содержащих сложные суждения (выводы логики высказываний).
Результат предварительной аттестации студента тем выше, чем регулярнее он посещает аудиторные занятия, активнее участвует в семинарах. Работа в библиотеке не является аудиторной.
