Записать в языке предикатов и проверить правильность

[meyz]

Здравствуйте!
Имеется выражение:
Все студенты второго курса изучали логику. Есть студенты второго курса, которые ее не знают. Следовательно, некоторые, изучавшие логику, ее не знают.
Не совсем понимаю, как это делается, в интернетах все слишком запутано, объясните пожалуйста)

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.