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

Умозаключение- форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение
(знание или вывод)
(Пример: любая теорема)
Алгебра логики - наука об общих операциях, аналогичных сложению и умножению, которые выполняются над высказываниями.
Понятия алгебры логики:
Логическая переменная – это простое высказывание, содержащее только одну мысль.
Обозначение: латинская буква (А, В, Х …)
Значение: ИСТИНА (1) или ЛОЖЬ (0)
Логическая функция – это составное высказывание, которое содержит несколько простых мыслей, соединенных между собой с помощью логических операций.
Обозначение: F
Логические операции – логическое действие.
Таблица истинности - таблица определяющая значение сложного высказывания при всех возможных значениях простых высказываний.

Презентация по информатике по теме: "Основы логики" (0.53 MB)

