Алгебра логики

Формы мышления.Высказывания. Основные логические связки


Формы мышления

МЫШЛЕНИЕ - процесс отражения объективной действительности, составляющий высшую ступень человеческого познания.

ОСНОВНЫЕ ФОРМЫ МЫШЛЕНИЯ:
-Понятие
-Высказывание
-Умозаключение

ПОНЯТИЕ - форма мышления, фиксирующая основные существенные признаки объекта.


ВЫСКАЗЫВАНИЕ - форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними.

УМОЗАКЛЮЧЕНИЕ - форма мышления, с помощью которой из одного или нескольких высказываний может быть получено новое высказывание.

ЛОГИКА - наука о формах и способах мышления.

ВЫСКАЗЫВАНИЕ

Высказыванием является любoе повествовательное пpедлoжение, в oтнoшении кoтopoгo мoжно oднoзначнo сказать, истиннo oнo или лoжнo.

Какие из предложений являются высказываниями?

Число 6 – четное.
Посмотрите на доску.
Все роботы являются машинами.
У каждой лошади есть хвост.
Внимание!
Кто отсутствует?
Прямоугольник есть геометрическая фигура.
А – первая буква в алфавите.

ВЫСКАЗЫВАНИЯ БЫВАЮТ:
- элементарными
- составными

Элементарные высказывания обозначают буквами латинского алфавита.

А — высказывание “Тимур поедет летом на море”.
В — высказывание “Тимур летом отправится в горы”.

Составные высказывания составляют из элементарных с помощью логических связок.
Для каждой связки введены обозначения.

ОСНОВНЫЕ ЛОГИЧЕСКИЕ СВЯЗКИ И ИХ ОБОЗНАЧЕНИЯ.


Обозначение составных высказываний.


Истинность или ложность составных высказываний определяется по истинности или ложности входящих в него элементарных высказываний с помощью алгебры логики.

АЛГЕБРА ЛОГИКИ — математический аппарат, с помощью которого записывают, вычисляют, упрощают и преобразовывают логические высказывания.

ДОМАШНЕЕ ЗАДАНИЕ.

1. В соответствии со схемой составить наборы сравнимых понятий.
2. Записать и обозначить элементарные высказывания. Из элементарных высказываний составить составные, отвечающие логическим выражениям: