Для полного понимания системы модальной логики, излагаемой в настоящей главе, необходимо познакомиться с матричным методом. ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Лукасевич Я.N. Аристотелевская силлогистика с точки зрения современной формальной логики


Для полного понимания системы модальной логики, излагаемой в настоящей главе, необходимо познакомиться с матричным методом. Этот метод может быть применим ко всем логическим системам, в которых встречаются функции истинности, то есть функции, значения истинности которых зависят только от значений истинности их аргументов. Согласно Филону из Мегары, импликация истинна всегда, кроме того случая, когда она начинается с истины, а заканчивается ложью. Обычно эти символические равенства представляют с помощью таблиц истинности, или, как их еще называют, матриц. Двузначная матрица Ml для С и N может быть описана следующим образом: значения истинности С располагаются в строках и колонках, образующих квадрат, и отделяются прямыми линиями, идущими от левой и от верхней сторон.

(cкачать страницу)

Смотреть книгу на libgen

Для полного понимания системы модальной логики,  излагаемой в настоящей главе,  необходимо познакомиться с матричным методом.  Этот метод может быть применим ко всем логическим системам,  в которых встречаются функции истинности,  то есть функции,  значения истинности которых зависят только от значений истинности их аргументов.  Согласно Филону из Мегары,  импликация истинна всегда,  кроме того случая,  когда она начинается с истины,  а заканчивается ложью.  Обычно эти символические равенства представляют с помощью таблиц истинности,  или,  как их еще называют,  матриц.  Двузначная матрица Ml для С и N может быть описана следующим образом:  значения истинности С располагаются в строках и колонках,  образующих квадрат,  и отделяются прямыми линиями,  идущими от левой и от верхней сторон.