Урок 20
Условия поиска информации,
простые логические выражения
Основы логики:
логические величины и формулы
Изучаемые вопросы:
- Понятие логического выражения.
- Операции отношения.
- Запросы на выборку с использованием простых логических выражений.
Основные темы:
- формальная логика и алгебра логики;
- логические величины, операции, формулы;
- таблица истинности.
Содержание урока
Термин логика
Термин логика
 |
 |
|
|
 |
 |
|
|
Термин логика происходит от греческого «логос», что значит «рассуждение», «речь». Древнегреческий философ Аристотель свои исследования форм правильного мышления человека назвал формальной логикой. Согласно формальной логике основным элементом рассуждения человека является высказывание — утверж дение, которое может быть либо истинным, либо ложным. Например, высказывание «На улице идет дождь» может быть истинным или ложным в зависимости от состояния погоды в данный момент.
В результате анализа данных высказываний человек приходит к умозаключению — новому высказыванию. Формальная логика описывает правила определения истинности или ложности умозаключения исходя из данных высказываний. Аристотель сформулировал ряд законов формальной логики.
Логика, как раздел математики — алгебра логики, возникла в XIX веке. Основателем этой науки был английский математик Джорж Буль. Джордж Буль впервые применил алгебраические методы для решения традиционных логических задач, которые до этого решались методами рассуждений, согласно формальной логике Аристотеля.
Первоначально развитие математической логики носило исключительно теоретический характер. В XX веке с изобретением систем автоматического управления, с появлением компьютеров, с развитием компьютерных методов обработки информации логика приобретает важное прикладное значение.
К основным понятиям алгебры логики относятся: логическая ее личина, логическая операция, логическая формула.
