![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
ВИСЛОВЛЕННЯ І ОПЕРАЦІЇ НАД НИМИ. ПРЕДИКАТИ
Висловлення і операції над ними. Елементи математичної логіки
План
1. Вступ.
2. Висловлення. Прості і складені висловлення.
3. Основні операції над висловленнями: кон’юнкція, диз’юнкція, заперечення, імплікація, еквіваленція; визначення їх значень істинності.
4. Предикати (висловлювальні форми).
5. Квантори. Правила побудови заперечень висловлень, що містять квантори.
Вступ
Логіка – наука про форми і закони мислення. Формальна логіка як наука сформувалася ще в IV ст. до н.е. у працях грецького філософа Аристотеля. В середині IX ст. формальну логіку вперше математизовано англійським математиком Джорджем Булем на основі так званої алгебри множин, яку ще називають за його іменем «булевою алгеброю».
Будь-яке міркування складається з ланцюга речень – висловлень, які випливають одне з одного за певними правилами. Вміння міркувати, правильно обґрунтовувати свої висновки необхідні людям будь-якої професії. Вже в початкових класах в учнів формують вміння логічно мислити, а саме: порівнювати, класифікувати об’єкти за певними ознаками, аналізувати, узагальнювати, проводити аналогію, обґрунтовувати найпростіші судження. Отже, вчитель початкової школи повинен бути знайомий з логікою, тобто з наукою про закони і форми мислення, про загальні схеми правильних дедуктивних міркувань.
Дата публикования: 2015-01-04; Прочитано: 430 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!