Основные положения Базовые логические операции Логические основы компьютера
Понятие Высказывание Умозаключение Доказательство
Высказывание (суждение) – форма мышления, выраженная с помощью понятий, посредством которой что-либо утверждают или отрицают о предметах, их свойствах и отношениях между ними. |
По содержанию различают высказывания истинные и ложные:
|
Высказывание выражается на естественном языке в виде повествовательных предложений, а на формальном языке в виде, например, математических высказываний: 16 · 2 = 15 + 17. Поэтому по структуре высказывания делятся на простые и составные (сложные):
Пример 1. Высказывание: "Комар - разновидность таракана, и поэтому он питается сахаром" - это ложное составное высказывание. |
Логическая форма высказывания. Высказывание должно содержать субъект (понятие о предмете мысли) и предикат (предикаты) (понятие о свойствах и отношениях предметов), которые вместе составляют термины высказывания. Субъект и предикаты соединены связкой ("есть", "не есть", "является", "состоит" и т.д.).
Пример 2. Высказывание «Компьютер состоит из процессора, памяти и внешних устройств». Компьютер - субъект; процессор, память и внешние устройства - предикаты; состоит из - связка. |
Понятие Высказывание Умозаключение Доказательство
©Максимовская М.А., 2016 год, Москва