Главная

Популярная публикация

Научная публикация

Случайная публикация

Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Виды простых высказываний. Логическая форма и условия истинности простого атрибутивного высказывания.




В зависимости от характера логической связки все простые высказывания могут быть либо утвердительными, либо отрицательными. Изменение логической связки с утвердительной на отрицательную или наоборот изменяет качество высказывания.

По местности логического сказуемого все простые высказывания можно разделить на атрибутивные и реляционные.

Простые высказывания, в которых логическое сказуемое выражает свойство, называют атрибутивными. «Два является простым числом»

Простые высказывания, в которых логическое сказуемое выражает отношение, называют реляционными. «Три больше двух»

Условные обозначения для логических и нелогических терминов позволяют выявить логическую форму атрибутивных высказываний.

Логические термины:

§ «Есть» -символ утвердительной логической связки

§ «Не есть» - символ отрицательной логической связки

§ «Всякий» - символ квантора общности

§ «Некоторый» - символ квантора существования

Нелогические термины:

§ a, b, c- символы для логических подлежащих единичных высказываний.

§ S, S1 и т.д.- символы для логических подлежащих.

§ P, P1 и т.д.- символы для логических сказуемых множественных атрибутивных высказываний.

Правило выявления логической формы- Термины, имеющие однотипные значения, обозначаются символами одного вида.

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

Всякий S есть P- SaP; Некоторые S есть P- SiP; Всякий S не есть P- SeP; Некоторые S не есть P- SoP.

Условие истинности атрибутивного единичного высказывания совпадает с условием ложности атрибутивного единичного отрицательного высказывания, а условие ложности атрибутивного единичного утвердительного высказывания совпадает с условием истинности атрибутивного единичного отрицательного высказывания.

Истинность произвольного множественного высказывания зависит от отношения между значениями входящих в него терминов. В этом сходство условий истинности единичных и множественных высказываний.

Условия истинности множественных высказываний могут быть обобщены в таблице истинности.







Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных