Читать «Логика для юристов» онлайн - страница 182

Алгебра логики используется для упрощения формулировки управленческих действий, предписываемых решением.

Пусть управленческое решение устанавливает, что:

1) к патрульно-постовой службе могут привлекаться сотрудники наружной службы горрайоргана внутренних дел;

2) никто не может быть одновременно сотрудником наружной службы и оперативного подразделения, если он не привлекается к несению патрульнопостовой службы;

3) никто из личного состава оперативных подразделений не привлекается к патрульно-постовой службе.

Упростим это предписание, состоящее из трех суждений. Для этого обозначим класс сотрудников патрульно-постовой службы символом П, класс сотрудников наружной службы — А, класс сотрудников оперативного подразделения — О_n.

Запишем предписание следующим образом:

1) все П суть А, а в виде тождества — П • Ā= 0, т.е. класс П включается в класс А;

2) все, кто есть А и О суть П, А • О_n • П = 0;

3) никто из О_n не есть П, О_n • П = 0.

Затем преобразуем это предписание:

Если объединение двух классов равно 0, то каждый из этих классов равен

0, следовательно, П • А=0 и А • О_n =0.

Получаем предписание, тождественное исходному:

1) патрульно-постовая служба формируется из состава наружной службы;

2) никто из личного состава оперативных подразделений не может быть сотрудником наружной службы.

Полученное предписание проще исходного. Если управленческие решения являются сложными, то их упрощение может быть значительным.

С. Другие применения алгебры логики

1. Символическая логика, в том числе алгебра логики, широко применяется в кибернетике. Об отце символической логики Лейбнице Норберт Винер, сформулировавший основные идеи кибернетики, пишет: “Если бы мне пришлось выбирать в анналах истории наук святого — покровителя кибернетики, то я выбрал бы Лейбница. Философия Лейбница концентрируется вокруг двух идей, тесно связанных между собой: идеи универсальной символики и идеи логического исчисления.

Из этих двух идей возникли современный математический анализ и современная математическая логика. И как в арифметическом исчислении была заложена возможность развития ее механизации от абака и арифмометра до современных сверхбыстрых машин, так и в исчислении умозаключений Лейбница содержится в зародыше думающая машина. Сам Лейбниц, подобно своему предшественнику Паскалю, интересовался созданием вычислительных машин в металле. Поэтому совсем неудивительно, что тот же самый умственный толчок, который привел к развитию математической логики, одновременно привел к гипотетической или действительной механизации процессов мышления”.

2. Алгебра логики применяется при проектировании переключательных схем, являющихся элементами автоматизированных систем управления и вычислительных машин. При этом символ “•” интерпретируется как последовательное соединение переключателей, а символ “∨” — как параллельное. Например, формулам p • (q ∨ r) и р • q ∨ р • r соответствуют следующие схемы:

р = 1 — переключатель замкнут, р = 0 — разомкнут. Если в схеме имеются два (или более) переключателя р, то они могут быть замкнуты (или разомкнуты) только одновременно (именно поэтому они обозначаются одной и той же буквой).