Логічний аналіз простого атибутивного висловлювання

Практичне завдання передбачає вміння визначати структурні одиниці простого атрибутивного висловлювання (відновлювати пропущені компоненти), приводити висловлювання до канонічного вигляду, встановлювати його тип, відношення за обсягом суб’єкта і предиката та істинність висловлювання за таблицею.

Умовно такий аналіз можна виконати за схемою, що представлена у наступному прикладі.

Наприклад: здійснити логічний аналіз простого атрибутивного висловлювання бувають добрі люди.

Суб’єкт: люди

Предикат: добрі

Зв’язка: стверджувальна

Кванторне слово: бувають

Квантор: існування

Канонічний вигляд: деякі люди є добрими

Відношення між суб’єктом i предикатом: