логика
Это наука, которая изучает научный язык, его подход, его организацию в иерархических единицах и методы как его формулы для анализа всей письменной формы. Для общения люди используют дискурсивные языки, эти языки полны логических частиц.
Логические частицы: по сути, кванторы являются связями, с которыми формируются дискурсы.
Логика высказываний
Это ветвь классической логики, которая изучает пропозициональные переменные или логические предложения, их возможные значения, оценки истинности и в некоторых случаях их абсолютный уровень истинности. Некоторые авторы также отождествляют его с математической логикой или символической логикой, поскольку в нем используется ряд специальных символов, приближающих его к математическому языку.
Предложения
Тавтология: тавтология или законность определяется как та формула, которая всегда верна.
Противоречие: это утверждение всегда неверно для всех значений истинности. Для любого истинностного значения предложений, какой бы результат изучаемой логической формулы ни был, всегда будет ложным.
Соединение: истинная или ложная формула. Выражения, от которых зависит достоверность аргументов, являются определенными логическими константами.
Соединители
Отрицание: нет - >>, ~
В логике и математике отрицание, также называемое логическим дополнением, - это операция над предложениями, значениями истинности или, в общем, семантическими значениями. Интуитивно отрицание предложения истинно, когда упомянутое предложение ложно, и наоборот. В классической логике отрицание обычно отождествляется с функцией истинности, которая меняет свое значение с истинного на ложное и наоборот.
Конъюнкция: Y ∧. Только если компоненты конъюнкции истинны, конъюнкция истинна.
Дизъюнкция: O ∨, Дизъюнкция ложна только в том случае, если два ее компонента ложны.
Условно: ⇒ затем
Обычно значения истинности двух утверждений возвращают истинное значение false только тогда, когда первое утверждение истинно, а второе ложно.
Двуусловное: ⇔ если только да.
Двуусловное или двойное значение - это оператор, который работает с двумя значениями истинности, обычно значениями истинности двух предложений, возвращая значение истинности, когда оба предложения имеют одинаковое значение истинности, и ложное, если их значения истинности различаются.
Предложения
Переменные: на символическом языке логики высказываний простые, атомарные или элементарные утверждения - это те, которые нельзя разложить на более простые. Они называются переменными и записываются строчными буквами в конце алфавита: «p», «q», «r», «s»… для особых случаев или заглавными буквами в начале алфавита, когда они общие случаи: «A», «B», «C», «D»…
Помимо переменных, логика высказываний имеет в своем алфавите другие элементы: логические константы и вспомогательные символы, составляющие составные предложения.
Некоторые лексические знаки естественного языка переводятся с помощью одной из следующих пяти логических констант:
¬ ОТКАЗ: Нет
٧ ВКЛЮЧИТЕЛЬНОЕ ОТНОШЕНИЕ: либо, либо, либо… или то, ٨ СОЕДИНЕНИЕ: y, e или ni (= а не)
→ УСЛОВНО: да…. так
↔ ДВУСТОРОННИЙ: да и только если
Таблица Истины
Отрицание: когда переменная истинна, отрицание становится ложью, а если ложно, отрицание становится истинным.
| К | ~ А |
| В | F |
| F | В |
Дизъюнкция: она ложна только тогда, когда все переменные ложны.
| К | В | AVB |
| В | В | В |
| В | F | В |
| F | В | В |
| F | F | F |
Соединение: это верно только тогда, когда все переменные также верны.
| К | В | А ∧ Б |
| В | В | В |
| В | F | F |
| F | В | F |
| F | F | F |
Условное условие: только когда первая переменная или предшествующее значение истинно, а вторая или последующее - ложно, результат будет ложным.
| К | В | А ⇒ Б |
| В | В | В |
| В | F | F |
| F | В | В |
| F | F | В |
Biconditional: это правда, когда две переменные имеют одинаковое значение.
| К | В | А ⇔ Б |
| В | В | В |
| В | F | F |
| F | В | F |
| F | F | В |
С помощью следующего видеокурса вы сможете больше узнать о логике высказываний, отличном ресурсе для укрепления ваших знаний в этой области классической логики. (TareasPlus.com, 29 видео)
