Учитель информатики общей средней школы 28 Канаева Балжан Тастанбековна

Дать определение логике Научить решать логические задачи Сформулировать интерес к предмету

Логика – это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений Формальная логика связана с анализом наших обычных содержательных рассуждений, выражаемых разговорным языком. Математическая логика является одной из частей формальной логики и изучает только рассуждения со строго определенными объектами и суждениями, для которых возможно однозначно решить, истинны они или ложны.

Истинным Ложным

Частные суждения выражают конкретные факты, например «5+5<12», «Сегодня был солнечный день». Общие суждения характеризуют свойства групп объектов или явлений, например, «Если прошел дождь, то на улице мокро», «Любой квадрат является параллело-граммом».

Связка И в составных суждениях всегда предполагает одновременную истинность составляющих суждений

Составное суждение со связкой ИЛИ в математике считается истинным, если истинно хотя бы одно из составляющих суждений и считается ложным, если ложны все его составляющие. Отрицание истинно, если ложно исходное утверждение, и, на оборот ложно, если верно исходное утверждение

Сатурн – спутник Солнца.Все девочки нашей школы любят гимнастику. Принесите, пожалуйста, мне воды. Вы были в театре?Завтра я не пойду на каток.Если будет дождь, то мы пойдем за грибами. Некоторые люди имеют голубые глаза. Мойте руки перед едой.Дежурный, вытри доску. Да здравствует мыло душистое и полотенце пушистое! Если я поеду туда, то смогу ли вернуться? Уходя гасите свет. Задание 1. Закрасьте ячейку зеленым цветом, если это суждение, и красным – в противном случае.

Задание 2. Укажите для нижеприведенных суждений, составные или простые, истинные или ложные, общие или частные. Суждение Простое или сложное Истинное или ложное Общее или частное Светит солнце. Если две прямые перпендикулярны, то они пересекаются. Число 222 непростое. Треугольники а равными сторонами не равнобедренны. Все собаки имеют четыре лапы, кошки тоже четырехпалые. На следующем уроке будем либо рисовать, либо лепить из пластилина. Собака – это не кошка. Земля плоская. Если смешать эти напитки, получится вкусный коктейль. Любой квадрат является ромбом. Завтра премьера в нашем театре. Все кролики любят капусту.

Заключение. Что такое суждение? Приведите примеры. Какими бывают суждения? Приведите примеры со связкой И, ИЛИ и отрицанием НЕ? Домашнее задание. Логические основы компьютера.