Основы логики Логика – это наука о формах и способах мышления

Основные формы мышления Понятие Умозаключение Высказывание

Понятие форма мышления, фиксирующая основные, существенные признаки объекта Две стороны понятия: Содержание Объем

Содержание понятия составляет совокупность существенных признаков объекта. Объем понятия определяется совокупностью предметов, на которую оно распространяется.

Высказывание –это форма мышления, выраженная с помощью понятий, в которой что-либо утверждается или отрицается о предметах, их свойствах и отношениях между ними. ложное/истинное простое/составное

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

Умозаключение -это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

Составное Высказывание,не соответствующее действительности. Ложь Высказывание,построенное на основании простых высказываний. Понятие Наукаоформахиспособах мышления Умозаключение Формамышления, фиксирующая существенные признаки объекта Логика Формамышления,с помощью которой из одного или нескольких суждений может быть получено новое суждение.

Алгебра высказываний способствует определению истинности или ложность составных высказываний, не вникая в их содержание. 1–ИСТИНА 0-ЛОЖЬ

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

Базовые логические операции Конъюнкция Дизъюнкция Инверсия Импликация Эквивалентность

- операция логического умножения В естественном языке соответствует союзу И Составное высказывание истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. На улице холодно и идет снег. На улице идет снег. На улице холодно. F=A&BBA

Дизъюнкция - операция логического сложения В естественном языке соответствует союзу ИЛИ Составное высказывание истинно, когда истинно хотя бы одно из входящих в него простых высказывания. Земля движется по круговой или эллиптической орбите. Земля движется по эллиптической орбите. Земля движется по круговой орбите. F=A B BA

Инверсия - операция логического отрицания В естественном языке соответствует словам неверно, что… и частице НЕ Делает истинное высказывание ложным и наоборот, ложное – истинным. Зло Добро AA

Импликация - операция логического следования В естественном языке соответствует обороту если…, то… Составное высказывание ложно, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно. Если число делится на 9, то оно делится на 3. Число делится на 3. Число делится на 9. A B BA

Эквивалентность-равнозначность В естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае Составное высказывание истинно, когда оба исходных высказывания одновременно истинны или одновременно ложны. Угол называется прямым тогда и только тогда, когда он равен Угол равен 90 0 Угол прямой F=A B BA

1.Вклейтеопорныйконспектврабочуютетрадь. 2.Изучитематериалпараграфов на стр учебникаН.Д.Угриновича«Информатикаи информационные технологии».Особоевнимание обратитенатекстсвосклицательнымзнакомнаполяхили выделенный курсивом. 3. Таблицыистинностиизученныхфункцийзапишитев тетрадь. 4.Придумайтепоодномувысказыванию,которому можно былобыпоставитьвсоответствиеоднуизосновных логическихфункций.