ТОР 5 статей:
Методические подходы к анализу финансового состояния предприятия
Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века
Характеристика шлифовальных кругов и ее маркировка
Служебные части речи. Предлог. Союз. Частицы
КАТЕГОРИИ:
- Археология
- Архитектура
- Астрономия
- Аудит
- Биология
- Ботаника
- Бухгалтерский учёт
- Войное дело
- Генетика
- География
- Геология
- Дизайн
- Искусство
- История
- Кино
- Кулинария
- Культура
- Литература
- Математика
- Медицина
- Металлургия
- Мифология
- Музыка
- Психология
- Религия
- Спорт
- Строительство
- Техника
- Транспорт
- Туризм
- Усадьба
- Физика
- Фотография
- Химия
- Экология
- Электричество
- Электроника
- Энергетика
Виды простых высказываний. Логическая форма и условия истинности простого атрибутивного высказывания.
В зависимости от характера логической связки все простые высказывания могут быть либо утвердительными, либо отрицательными. Изменение логической связки с утвердительной на отрицательную или наоборот изменяет качество высказывания.
По местности логического сказуемого все простые высказывания можно разделить на атрибутивные и реляционные.
Простые высказывания, в которых логическое сказуемое выражает свойство, называют атрибутивными. «Два является простым числом»
Простые высказывания, в которых логическое сказуемое выражает отношение, называют реляционными. «Три больше двух»
Условные обозначения для логических и нелогических терминов позволяют выявить логическую форму атрибутивных высказываний.
Логические термины:
§ «Есть» -символ утвердительной логической связки
§ «Не есть» - символ отрицательной логической связки
§ «Всякий» - символ квантора общности
§ «Некоторый» - символ квантора существования
Нелогические термины:
§ a, b, c- символы для логических подлежащих единичных высказываний.
§ S, S1 и т.д.- символы для логических подлежащих.
§ P, P1 и т.д.- символы для логических сказуемых множественных атрибутивных высказываний.
Правило выявления логической формы- Термины, имеющие однотипные значения, обозначаются символами одного вида.
Логическая форма множественных высказываний может быть записана следующим образом:
Всякий S есть P- SaP; Некоторые S есть P- SiP; Всякий S не есть P- SeP; Некоторые S не есть P- SoP.
Условие истинности атрибутивного единичного высказывания совпадает с условием ложности атрибутивного единичного отрицательного высказывания, а условие ложности атрибутивного единичного утвердительного высказывания совпадает с условием истинности атрибутивного единичного отрицательного высказывания.
Истинность произвольного множественного высказывания зависит от отношения между значениями входящих в него терминов. В этом сходство условий истинности единичных и множественных высказываний.
Условия истинности множественных высказываний могут быть обобщены в таблице истинности.
Не нашли, что искали? Воспользуйтесь поиском: