Основные положения Базовые логические операции Логические основы компьютера

Понятие Высказывание Умозаключение Доказательство

 

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

По содержанию различают высказывания истинные и ложные:

Высказывание выражается на естественном языке в виде повествовательных предложений, а на формальном языке в виде, например, математических высказываний: 16 · 2 = 15 + 17.

Поэтому по структуре высказывания делятся на простые и составные (сложные):

Пример 1. Высказывание: "Комар - разновидность таракана, и поэтому он питается сахаром" - это ложное составное высказывание.

Логическая форма высказывания.

Высказывание должно содержать субъект (понятие о предмете мысли) и предикат (предикаты) (понятие о свойствах и отношениях предметов), которые вместе составляют термины высказывания. Субъект и предикаты соединены связкой ("есть", "не есть", "является", "состоит" и т.д.).

Пример 2. Высказывание «Компьютер состоит из процессора, памяти и внешних устройств». Компьютер - субъект; процессор, память и внешние устройства - предикаты; состоит из - связка.

Понятие Высказывание Умозаключение Доказательство

©Максимовская М.А., 2016 год, Москва