Вопрос по Логике Предикатов №1

Вопрос действительно не простой :)

Чтобы сформулировать высказывание в логике предикатов нужно первым делом ввести все необходимые предикаты.
В случае с суши, кроме предикатов А и В нужен еще предикат, обозначающий понятие "ел", пучть это будет предикат Е (х, у) , который означает, что х когда-нибудь ел у.

Тогда выражение будет таким: А (Вася) &В (Суши) &Е (Вася, Суши) . Но возможны варианты, например, если Вася - это не конкретный человек, а имя, то будет что-нибудь вроде:
Для любого х: А (х) &Имя (х, 'Вася') & В (Суши) -> Е (х, Суши)

Если же мы хотим сделать акцент на том, что он НИКОГДА не ел суши, то возможно понадобится ввести понятие времени, например простейшим способом
Не сущесвует t: Ел ( Вася, Суши, t)

Кстати, и со студентами так же: на первый взгляд формула Для любого х: Студент (х) -> Должен писать курсовую (х)
Но для реальных задач этого скорее всего будет недостаточно. И тогда придется каким-то образом вводить в логику понятие "должен".
Для этого используют расширения логики предикатов первого порядка - так называемые модальные логики.

p.s. вообще возможны всякие ньюансы, связанные с соглашениями о записи. Они могут немного отличаться в разных источниках. Кроме этого, одно дело просто фраза, а другое дело - запись выражения в рамках какой-то задачи. Там перевод фраз естественного языка на язык логики зависит от условий и целей задачи, короче от рассматриваемого "Мира".

А - Васи никогда не ели суши
Б - Вася никогда не ел суши