Суждение - это такая форма мышления, в которой, сочетая понятия, что-либо утверждается или отрицается о самых реальных вещах и явлениях.
В любом суждении присутствует конкретная мысль. Она выступает формой выражения действительности в сознании человека. Эта форма представляет собой какое-либо высказывание о предметах, их свойствах и состояниях, а также об отношениях между ними.
Виды суждений:
1) Атрибутивные- осуждает или отрицает принадлежность предмету каких либо свойств,состояний,видов активности.
Кролики не едят мясо
Структура - субьект, предикат и связка.
S(не)есть P
2)Суждение соотношение- описывает отношения между предметами
3)суждение существование – говорят о сущ или не сущ тех или иных предметов. 1.на земле существует жизнь. 2. Не существует парк.
Классификация суждений по количеству и качеству:
Простые суждения:
-утвердительные(книга стоит на полке)
-отрицательные(попугаи не живут в Сибире)
По количеству:
1. Обо всем объеме
2. О его части
Общие и частные суждения:
Частное-ᴲ (некоторый)
Общее-А(перевернутая)(всё)
4 типа суждений:
1. Общее утверительное
2. Частное
3. Общее отрицательное
4. Частное отрицательное суждение
Единичное суждение будет относиться к общим т.к. в объеме 1 элемент
Высказывание — термин математической логики, обозначающий формализованную структурированную запись мысли с помощью буквенных символов и логических связок, рассматриваемую с точки зрения истинностных значений. Это утверждение, для которого оценивается логическое значение: ложь или истина[1]. Логическое высказывание принято обозначать заглавными латинскими буквами. Является основным объектом логики высказываний.
Высказывательной формой называется логическое высказывание, в котором один из объектов заменён переменной. При подстановке вместо переменной какого-либо значения высказывательная форма превращается в высказывание. Пример: A(x) = «В городе x идёт дождь.», где A — высказывательная форма, x — объект.
Виды высказываний
Логические высказывания принято подразделять на два вида: элементарные логические высказывания и составные логические высказывания.
Составное логическое высказывание — это высказывание, образованное из других высказываний с помощью логических связок.
Логическая связка — это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если… , то», «тогда и только тогда» являются логическими связками.
Элементарные логические высказывания — это высказывания не относящиеся к составным.
Примеры: «Петров — врач», «Петров — шахматист» — элементарные логические высказывания. «Петров — врач и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».
Основные операции над логическими высказываниями
Отрицание логического высказывания — логическое высказывание, принимающее значение «истинно», если исходное высказывание ложно, и наоборот.
Конъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны.
Дизъюнкция двух логических высказываний — логическое высказывание, истинное только тогда, когда хотя бы одно из них истинно.
Импликация двух логических высказываний A и B — логическое высказывание, ложное только тогда, когда B ложно, а A истинно.
Равносильность (эквивалентность) двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.