Логика

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

Логика - наука о формах и способах мышления
Законы логики отражают в

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

Понятие

Высказывание

Умозаключение

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

Между множествами

Если имеются какие-либо понятия A, B, C и т.д., то объем

ОТОБРАЗИТЬ С ПОМОЩЬЮ ДИАГРАММЫ ЭЙЛЕРА-ВЕННА СООТНОШЕНИЕ МЕЖДУ ОБЪЕМАМИ ПОНЯТИЙ НАТУРАЛЬНЫЕ

- это форма мышления, в которой что-либо утверждается или отрицается о

Высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения:

1

Истинным будет суждение, в котором связь понятий правильно отражает свойства и

Обоснование истинности или ложности простых высказываний решается вне алгебры логики.
Например, истинность

Умозаключение

- это форма мышления, с помощью которой из одного или нескольких

Умозаключения бывают: 1. дедуктивные, 2. индуктивные 3. по аналогии.
В дедуктивных умозаключениях

В индуктивных умозаключениях рассуждения ведутся от частного к общему.
Например,

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

САМОСТОЯТЕЛЬНОЕ ЗАДАНИЕ

1. Отобразить с помощью диаграммы Эйлера-Венна соотношения между следующими объемами

2. Приведите примеры понятий, суждений, умозаключений и доказательств из различных наук:

Основные понятия математической логики
Алгебра логики – это раздел математики, изучающий высказывания,

Примеры логических выражений

Что такое логические выражения?

Логическое выражение – это некоторое высказывание, по поводу

Виды логических выражений

Простые – выражения,
состоящие из имени
поля логического типа

Примеры простых высказываний

Шесть первых выражений называются отношениями.

Осадки = «дождь» 5. Автор = «Толстой Л.Н.»
Давление > 740 6. Фамилия =

ОТНОШЕНИЯ
Отношения – это выражения в которых имена полей базы данных связываются

Особенности выполнения отношений для символьных величин.

Отношение «равно» истинно для двух символьных

Употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…то»,

Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет

Логическое умножение

Обозначение :
в русском языке – и
в английском языке – and
в

Логическое сложение

Обозначение :
в русском языке – или
в английском языке – or
в

Логическое отрицание

Обозначение :
в русском языке – не
в английском языке – not
в

Порядок действий

Not (отрицание)
And (логическое умножение)
Or (логическое сложение)
>,=,<

ПРИМЕР:

A and B or not A and B or not B