Трудновато читать? Да ни фига не трудновато. Всё просто.
В вашей статье: "1. Бинарная логика (двоичная, Аристотелева). Характеризуется абстрактным подходам к конкретным вещам. Аксиомой об однозначности выбора ответа: "Да" или "Нет", "0" или "1". Задача всегда рассматривается, как оппозиция двух альтернатив, между которыми можно сделать выбор. Т.е. всегда можно сказать "горячо" или "холодно"."
Теперь что нам говорят другие авторы: 1. Основу аристотелевой логики составляют четыре "horos" (если в латинской транскрипции). Переводить это слово можно по-разному, мне больше всего нравится вариант "соотношение". Итак, основу этой логики составляют 4 соотношения. Все A являются B. Никакие A не являются B. Некоторые A являются B. Некоторые A не являются B. (Мирослав Войнаровский "Аристотелева логика" http://voinarovsky.ru/iff/iff_15.htm)
2. Алгебра логики (алгебра высказываний) - раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.
Высказывания строятся над множеством {B, \lnot , \land , \lor , 0, 1}, где B - непустое множество, над элементами которого определены три операции:
а логический ноль 0 и логическая единица 1 - константы.
Так же используются названия
Дизъю́нкт - пропозициональная формула, являющаяся дизъюнкцией одного или более литералов (например x_{1}\lor \neg x_{2}\lor x_{4}). Конъюнкт - пропозициональная формула, являющаяся конъюнкцией одного или более литералов (например x_{1}\land \neg x_{2}\land x_{4}).
Унарная операция отрицания в тексте формул оформляется либо в виде значка перед операндом (\lnot x) либо в виде черты над операндом ({\bar {x}}), что компактнее, но в целом менее заметно. (https://wikipedia.tel/Алгебра_логики)
🏮 И так по каждому пункту.
Предполагаю, что был сделан гугло перевод английской статьи из популярного журнала не математиком. 💮
В вашей статье:
"1. Бинарная логика (двоичная, Аристотелева).
Характеризуется абстрактным подходам к конкретным вещам. Аксиомой об однозначности выбора ответа: "Да" или "Нет", "0" или "1". Задача всегда рассматривается, как оппозиция двух альтернатив, между которыми можно сделать выбор. Т.е. всегда можно сказать "горячо" или "холодно"."
Теперь что нам говорят другие авторы:
1. Основу аристотелевой логики составляют четыре "horos" (если в латинской транскрипции). Переводить это слово можно по-разному, мне больше всего нравится вариант "соотношение". Итак, основу этой логики составляют 4 соотношения.
Все A являются B.
Никакие A не являются B.
Некоторые A являются B.
Некоторые A не являются B.
(Мирослав Войнаровский "Аристотелева
логика" http://voinarovsky.ru/iff/iff_15.htm)
2. Алгебра логики (алгебра высказываний) - раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания.
Высказывания строятся над множеством {B, \lnot , \land , \lor , 0, 1}, где B - непустое множество, над элементами которого определены три операции:
\lnot отрицание (унарная операция),
\land конъюнкция (бинарная),
\lor дизъюнкция (бинарная),
а логический ноль 0 и логическая единица 1 - константы.
Так же используются названия
Дизъю́нкт - пропозициональная формула, являющаяся дизъюнкцией одного или более литералов (например x_{1}\lor \neg x_{2}\lor x_{4}).
Конъюнкт - пропозициональная формула, являющаяся конъюнкцией одного или более литералов (например x_{1}\land \neg x_{2}\land x_{4}).
Унарная операция отрицания в тексте формул оформляется либо в виде значка перед операндом (\lnot x) либо в виде черты над операндом ({\bar {x}}), что компактнее, но в целом менее заметно.
(https://wikipedia.tel/Алгебра_логики)
🏮 И так по каждому пункту.
Предполагаю, что был сделан гугло перевод английской статьи из популярного журнала не математиком. 💮
Reply
Leave a comment