Суждение и высказывание их структура

Суждение - это такая форма мышления, в которой, сочетая понятия, что-либо утверждается или отрицается о самых реальных вещах и явлениях.

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

Виды суждений:

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 истинно.

Равносильность (эквивалентность) двух логических высказываний — логическое высказывание, истинное только тогда, когда они одновременно истинны или ложны.