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