Закон за идемпотентност
закон за идемпотентност — (от латински >Речник на логическите термини
ТАВТОЛОГИЯ - на обикновен език: повторение на вече казаното. Например: "Масата си е маса." Т. е празен и празен, не носи никаква информация и те се стремят да се отърват от него като ненужен баласт, който затрупва речта и затруднява комуникацията. ... ... Философска енциклопедия
АЛГЕБРА НА ЛОГИКАТА — алгебрична система. методи за логическо решение. задачи, както и набор от задачи, решени с такива методи. A. l. в тесния смисъл на думата алгебричен. (табличен, матричен) изграждане на класическия. пропозиционална логика, която се занимава с ... ... Философска енциклопедия
ЗАКОНИ НА МИСЛЕНЕ - (логически) - законите на връзката между преценки и понятия, законите на формиране и развитие на мисълта, които определят правилните форми и методи за познание на реалността на етапа на абстрактното мислене. Целта на изучаването на M. h. е да се изясни целта ... Философска енциклопедия
Алгебрата на логиката е раздел от математическата логика, който изучава твърдения, разглеждани от страна на техните логически стойности (истина или невярно) и логически операции върху тях. A. l. възниква в средата на 19 век. в писанията на J. Boole (Вижте Boole) и разработена ... ... Велика съветска енциклопедия
АЛГЕБРА НА ЛОГИКАТА - раздел на математическата логика, който изучава твърденията, разглеждани от гледна точка на тяхната логика. стойности (вярно или невярно) и логически. операции върху тях. A. l. възникна в 19 век в трудовете на J. Boole (вижте [1], [2]) и след това се развива в трудовете на Ch ... Математическа енциклопедия
Дизюнктивна нормална форма — (DNF) в булевата логика, нормална форма, в която булева формула има формата на дизюнкция на конюнкции на литерали. Всяка булева формула може да бъде редуцирана до DNF.[1] За товаможете да използвате закона за двойното отрицание, закона на де Морган, закона ... ... Wikipedia
Класическа логика - термин, използван в математическата логика във връзка с определена логическа система, за да посочи, че всички закони на (класическото) смятане на изказванията са валидни за тази логика, включително закона за изключването на средата. ... ... Wikipedia