Логически алгебра концепции
алгебра на логиката - клон на математиката. Той работи логически изрази.
Смислено изречение - всяко изречение в разказна форма, която може да се каже със сигурност дали това е вярно или невярно. Примери за логически твърдения:
- "София - столица на България" (а твърдение е вярно).
- "След зимата идва есента" (фалшиво изявление).
А просто твърдение - логично изречение се състои от един-единствен одобрение.
Сложна изказване - логическа изявление, състояща се от няколко изявления комбинирани с помощта на "пакети": думата "и" ", или (а)" частици "не" пакети ", ако, след това" и т.н. Примери на сложни отчети :.
1. "Иван успешно изпити по физика и компютърни науки".
Изявление съдържа две utvezhdenie обединени "и":
- Statement1: "Иван успешно изпити по физика."
- Utverzhdenie2: "Иван успешно изпити по компютърни науки".
2. "Игор реши да се запишат в раздела на волейбол или баскетбол."
Изявление съдържа две utvezhdenie обединени "или":
- Statement1: "Игор е решил да се присъедини към раздела на волейбол."
- Utverzhdenie2: "Игор е решил да се присъедини към раздела на баскетбол."
3. "Ако Иля ще бъде много, за да се подготвите и да се справят с преподавател, той ще отиде в колеж."
Изявление съдържа три utvezhdenie обединена куп ", ако, след това" и съюзът "и":
- Statement1: "Илия ще бъде много, за да се подготвите."
- Utverzhdenie2: "Илия ще се занимава с преподавател."
- Utverzhdenie2: "Илия, за да отиде в колеж."
Логически операции - "Групи": съюзи, частици на естествен език, които са комплекс от прости изявления, представени във формален начин. Подробно основните логически операции се обсъждат в тази статия.
Булев израз - прости или сложни логически изявления, направени във формален начин. Примери на логически изрази:
при което А, В, С - одобрение;
Λ, V, → - логически операции.
Логическите закони - закони, които позволяват да се превърне логически изрази. Основните закони се обсъждат в тази статия.
Булева - променлива, която може да заема стойност от 1 (истина) или 0 (фалшива).
Logic Function - функция, чиито аргументи и стойност може да заема стойност от 1 (вярно) или 0 (невярно).
Таблицата с истината - една маса се използва за описание на логически функции, по-специално отделни логически операции. Примери истина маса за често използвани логически операции.
Диаграми на Ойлер-Вен - диаграми, които се използват за визуализиране на пресечната точка на няколко набора от възможности. Както комплекти могат да се използват прости логически твърдения. Графиката конструирана за логически отчети, който съдържа един до три твърдения
За да научите как да се изгради тези схеми може да се прочете в статията: ". Ойлер-Вен диаграми" Типични задачи за комплекта са разгледани подробно в статията "Как да се реши проблема с помощта на диаграми на Ойлер-Вен".
Свързани статии