Слайд 2Логика как наука.
(Историческая справка)
«Я знаю, что ничего не знаю!»
Сократ.
Слайд 3Аристотель( 384-322гг. до н. э.)
Систематизировал формы и правила мышления.
Разработал теорию умозаключений.
Сформулировал основные законы
мышления.
Описал ряд логических операций.
Слайд 4Г.В.Лейбниц (1646-1716)
Перевёл словесные высказывания в математическую логику.
Возможность применения двоичной системы счисления в логике.
Создал
универсальный язык с помощью которого каждому понятию, суждению можно было дать числовую характеристику.
Слайд 5Развитие математической логики
А.Н. Колмогоров. П.C Новиков
Слайд 6Алгебра логики.
Алгебра логики -раздел математической логики, изучающий строение логических высказываний.
А=1-истинное высказывание; А=0-ложное
высказывание.
Примеры высказываний:
Солнце светит для всех.
Все студенты любят информатику.
Некоторые из студентов любят информатику.
А, ты любишь информатику?
Посмотри в окно.
Слайд 7Логические операции.
Логическое умножение (конъюнкция)
Логическое сложение (дизъюнкция)
Логическое отрицание (инверсия)
Логическое следование (импликация)
Логическое равенство (эквивалентность)
Слайд 8
Логическое умножение ( конъюнкция)
Логическое умножение( конъюнкция) образуется соединением двух высказываний в одно с
помощью союза «и».
Обозначение конъюнкции: АиВ;АΛВ; А&В; А•В;А AND В;А∩В.
А-на автостоянке стоит «Мерседес»
В- на автостоянке стоят «Жигули»
А Λ В (На автостоянке стоят «Мерседес» и «Жигули»).
Слайд 9
Логическое сложение( дизъюнкция)
Логическое сложение(дизъюнкция) образуется соединением двух высказываний в одно с помощью союза
«или».
Обозначение дизъюнкции: А или В; АORВ; А/В;А AνВ;АυВ.
А-Я пойду в кино
В- Я пойду в театр
A ν В (Я пойду в кино или в театр)
Слайд 10Логическое отрицание ( инверсия)
Логическое отрицание (инверсия) образуется из высказывания с помощью добавления частицы
«не» к сказуемому или использования оборота речи «неверно,что...».
Обозначение инверсии: НЕ А; Ā; NOTА.
А=У меня нет компьютера.
Слайд 11Логическое следование(импликация).
Логическое следование (следование) образуется соединением двух высказываний в одно с помощью оборота
речи «если..., то...»
Обозначение импликации: А→В
А=На улице дождь.
В=Асфальт мокрый.
А→В ( Если на улице дождь, то асфальт мокрый)
Слайд 12Коньюнкция- АΛВ; Дизьюнкция-A ν В;
Инверсия- Ā; Импликация-А→В.