Мантиқ алгебраси

Мантиқ алгебраси

1. Алгебра логики — раздел математической логики, основанный на применении алгебраических методов к изучению логических объектов — классов, высказываний и др. Исторически А. л. возникла как алгебра классов и как алгебра высказываний (Буль). А. л. рассматривает высказывания только со стороны значения их истинности, причем равносильными считаются высказывания, имеющие одно и то же значение истинности. А. л. использует буквенную символику. Algebra of logic is a branch of mathematical logic, based on the application of algebraic methods to the study of logical objects — classes, utterances, etc. Historically, A. l. appeared as an algebra of classes and as an algebra of propositions (Boole). A. l. considers statements only from the side of the meaning of their truth, and statements that have the same truth value are considered to be equivalent. A. l. uses letter symbols.