2: Логика - это наука о формах и способах мышления.
3: это форма мышления, фиксирующая основные, существенные признаки объекта. это форма мышления, фиксирующая основные, существенные признаки объекта.
4: Высказывание может быть истинно или ложно. Высказывание может быть истинно или ложно.
5: Посылками умозаключения по правилам формальной логики могут быть только истинные суждения. Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.
6: В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения «истинно» и «ложно». Истинно 1 Ложно0
7: Для образования новых высказываний используются базовые логические операции:
8: Логическое отрицание -операция не - инверсия
9: Логическое умножение - операция и - конъюнкция
10: Логическое сложение - операция или - дизъюнкция
11: Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции. Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции.
12: Логические законы и правила преобразования логических выражений Закон тождества: всякое высказывание тождественно самому себе. АА Закон непротиворечия: высказывание не может быть одновременно истинным и ложным. А & А1 Закон исключенного третьего. Высказывание может быть истинным, либо ложным, третьего не дано. А А1 Закон двойного отрицания: если дважды отрицать некоторое высказывание, то в результате мы получим исходное высказывание. АА
13: Логические законы и правила преобразования логических выражений Законы Моргана: А ВА & В А & ВА В
