люди помогите решить:

2). Выявите логическую форму предложения и запишите её на языке логики предикатов.
“Все живущие смертны.”

3). Определите, кто из четырёх студентов сдал экзамен, если известно:
1. Если первый сдал, то и второй сдал.
2. Если второй сдал, то третий сдал или первый не сдал.
3. Если четвёртый не сдал, то первый сдал, а третий не сдал.
4. Если четвёртый сдал, то и первый сдал .

я **** логику предикатов не учил

№3: Метод резолюций в исчислении высказываний.
(даже с программой)

мы ещё язык програмирования не проходим.
мне нужно само решение каким бы оно было в тетради.

2) введем в рассмотрение предикаты Z(x)=" х живущий" и S(x)="х смертен"
тогда Ах(Z(x)->S(x))
А-квантор всеобщности

Раньше тебе нужно было определить, кто сдал, а кто НЕ сдал - теперь - решение, как оно должно быть в тетради? Это называется "Аппетит приходит во время еды"? Написать в тетрадь не надо, чтоб тебе только сдать осталось?

Если не учил - значит, либо НЕ ХОТЕЛ, и тебе дали это задание, прости, это ТВОЯ проблема, или не должен был учить, и тебя просто хотят "завалить" - тогда тебе ничего не поможет ...

мисс граффити спасибо.
volvo я же сказал нам это задали не на языку программирования написать. а Формулами.
если бы спрограммировать задали я бы для всех одногрупников эти задачи решал.например в паскале это построить легче лёгкого.

как же ты это построишь без формул?
и вообще, правда интересно получается: задания дают на то, что ты не изучал. естественный вопрос - почему не изучал?...

влом было