1. Главная
  2. Библиотека
  3. Высшая математика
  4. Определить универсум и формулу высказывания: Либо кажды...
Решение задачи на тему

Определить универсум и формулу высказывания: Либо каждый любит кого-нибудь, либо не один не любит всех, либо некто любит всех, и кто-то не любит никого.

  • Высшая математика
Определить универсум и формулу высказывания: Либо каждый любит кого-нибудь, либо не один не любит всех, либо некто любит всех, и кто-то не любит никого.

Условие:

   Либо каждый любит кого-нибудь, либо не один не любит всех, либо некто любит всех, и кто-то не любит никого.

Решение:

Универсум: люди; предикат A(x, y) выражает отношение x любит y.

Выразим сначала подформулы:

каждый любит к...

Выбери предмет