Конспект уроку з теми «Логіка висловлювань. Істиннісні означування. Тавтології. Закони логіки» призначений для поглибленого вивчення основ математичної логіки.
У матеріалі розглянуто поняття висловлювання та основні логічні операції: заперечення, кон’юнкцію, диз’юнкцію, імплікацію та еквіваленцію. Для позначення істиннісних значень використовуються T (істина) та F (хиба). Наведено зведену таблицю істинності та пояснено порядок виконання логічних операцій.
Окрему увагу приділено поняттю істиннісного означування формули, правилам обчислення значень складених формул за допомогою булевих операцій та алгоритму побудови таблиць істинності. Матеріал містить детально розібрані приклади визначення істиннісного значення формули та встановлення її типу.
У конспекті розглянуто:
тавтології;
суперечності;
виконувані та контингентні формули;
логічну рівносильність;
логічний наслідок;
способи доведення тавтологій;
метод таблиць істинності;
метод рівносильних перетворень;
правила modus ponens і modus tollens;
закони де Моргана, поглинання, склеювання, контрапозиції, транзитивності та інші основні закони логіки.
Матеріал містить таблицю основних тавтологій і законів логіки, приклади їх застосування, а також домашнє завдання з доведенням формул різними способами.
Конспект може бути використаний викладачами та вчителями під час проведення занять з математичної логіки, факультативних і поглиблених курсів математики, а також студентами й учнями для самостійного опрацювання теми та підготовки до практичних занять.
