Формальная логика Котлярова В.Ю., учитель информатики, МБОУ СОШ №1 им. Н.К.Крупской, города Нижний Тагил

Слово «ЛОГИКА» означает

- совокупность правил, которым подчиняется процесс мышления
Законы Логики отражают

Основные формы МЫШЛЕНИЯ

Понятие-
это форма мышления, которая выделяет существенные признаки предмета или

Примеры

Квадрат
«Принтер предназначен для ввода информации»
Ураганный ветер
Доказательство теоремы
«Дважды два равно

Формальная логика

это наука о законах и формах мышления

Математическая логика

изучает вопросы применения

Суждения в математической логике называют высказываниями или логическими выражениями

Высказывание – это

Сложное (составное) высказывание -

получается из простых или сложных высказываний с использованием

Пример: Составь сложно высказывание с союзом И, ИЛИ

Простое высказывание:
«На улице

Логическое выражение -

это символическая запись, состоящая из логических величин (констант или

Логические операции и их свойства

Таблица истинности

- это таблица со всеми возможными значениями входных переменных и

Инверсия

Одноместная логическая операция
Частица «НЕ»
Иначе называется: Логическим отрицанием
Обозначение: А, А
Результат ИНВЕРСИИ будет

Конъюнкция

Двухместная логическая операция
Союз «И»
Иначе называется: Логическим умножением
Обозначение: А&B, А B, АxB,

Дизъюнкция

Двухместная логическая операция
Союз «ИЛИ»
Иначе называется: Логическим сложением
Обозначение: АVB, А+B
Результат ДИЗЪЮНКЦИИ будет

Импликация

Условная двухместная логическая операция
Связка «ЕСЛИ…, ТО…»
Иначе называется: Логическим следованием
Обозначение: А=>B
Результат ИМПЛИКАЦИИ

Эквивалентность

Двухместная логическая операция
Связка «ТОГДА И ТОЛЬКО ТОГДА, КОГДА»
Иначе называется: Равнозначностью
Обозначение: А<=>B
Результат