Частица используемая для образования сложного высказывания
Обновлено: 05.07.2024
Формирование у обучающихся умений преобразовывать логические выражения, используя законы логики.
Учащиеся должны знать:
- правила преобразования логических выражений и законы логики.
Учащиеся должны уметь:
- приводить логические выражения к нормальной форме;
- решать задачи, сформулированные на обычном языке.
Ход урока
По горизонтали: 2. Мысль, в которой что - либо утверждается или отрицается. 5. Это повествовательное предложение, о котором можно сказать, истинно или ложно. 6. Логическое умножение. 7. Логическое сложение. 9. Форма мышления, в которой отражаются существенные признаки отдельного предмета. 10. Наука о законах и формах мышления.
По вертикали: 1. Частица, используемая для образования сложного высказывания. 3. Прием мышления, посредством которого из исходного знания получается новое знание. 4. Одно из двух возможных значений, которые могут принимать логические формулы. 8. Отрицание.
Наиболее простые и необходимые истинные связи между мыслями выражаются в основных законах формальной логики. Эти законы являются основными потому, что в логике они играют особо важную роль, являются наиболее общими. Они позволяют упрощать логические выражения и строить умозаключения и доказательства. Рассмотрим их.
Закон тождества: в процессе определённого рассуждения всякое понятие и суждение должны быть тождественны самим себе.
Закон непротиворечия: невозможно, чтобы одно и то же в одно то же время было и не было присуще одному и тому же в одном и том же отношении. То есть невозможно что - либо одновременно утверждать и отрицать.
Закон исключённого третьего: из двух противоречащих суждения одно истинно, другое ложно, а третьего не дано.
Закон достаточного основания: всякая истинная мысль должна быть достаточно обоснована.
Первые три из вышеперечисленных законов были выявлены и сформулированы Аристотелем, а закон достаточного основания – Г. Лейбницем.
Последний закон говорит о том, что доказательство чего - либо предполагает обоснование именно и только истинных мыслей. Ложные же мысли доказать нельзя. Есть хорошая латинская пословица: «Ошибаться свойственно всякому человеку, но настаивать на ошибке свойственно только глупцу». Формулы этого закона нет, так как он имеет только содержательный характер. В качестве аргументов для подтверждения истинной мысли могут быть использованы истинные суждения, цифровой материал, статистические данные, законы науки, аксиомы, теоремы.
В алгебре логики имеется ряд законов, позволяющих производить равносильные преобразования формул.
Законы алгебры высказываний – это тавтологии. Иногда эти законы называются теоремами.
Первые четыре из приведённых ниже законов являются основными законами алгебры высказываний.
1. Закон тождества: А = А.
Всякая мысль тождественна самой себе.
Данный закон означает, что в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим. При нарушении этого закона возможны логические ошибки.
Читайте также: