Question

Формализуйте следующие сложные суждения: а) Вася высокий, а Коля невысокий; б) Он хотел пойти на занятия, но не смог; в) «Кто весел, тот смеётся, кто хочет, тот добьётся, кто ищет, тот всегда найдет» (В. Лебедев-Кумач).

Answer 1

Ответ:

а.......................

Answer 2

а) Вася высокий, а Коля невысокий:

• Пусть A - Вася высокий, а B - Коля невысокий. Тогда данное суждение можно формализовать как: A и не B.

б) Он хотел пойти на занятия, но не смог:

• Пусть A - Он хотел пойти на занятия, а B - Он не смог. Тогда данное суждение можно формализовать как: A и не B.

в) «Кто весел, тот смеётся, кто хочет, тот добьётся, кто ищет, тот всегда найдет» (В. Лебедев-Кумач):

• Пусть A - Кто весел, B - Тот смеётся, C - Кто хочет, D - Тот добьётся, E - Кто ищет, F - Тот всегда найдет. Тогда данное суждение можно формализовать как: A => B, C => D, E => F.