Логическите проблеми обикновено са формулирани на естествен език. На първо място, те трябва да се формализира, т.е. да пишат на езика на Пропозиционални алгебра. Получените булеви изрази трябва да бъдат опростени и анализирани. За да направите това, понякога е необходимо да се изгради една маса истина получава логически израз.
В формализиране разгледаме следния кореспонденцията между логическите операции и правилата на българския език:
• Отказ - частицата "не";
• А дизюнкция - връзка "или";
• Конюнкция - думата "и", "но", "но", "въпреки че", "обаче";
• Равностойността - думите "единствено и само ако", "единствено и само ако" и други;
• Изводът - думата "ако, след това".
Помислете за пример. Учебната сграда във всяка от двете класните стаи може да бъде или компютърни науки, кабинет по физика. На публиката висеше хумористични знаци. На пръв публиката висеше знак "Най-малко един от тези аудитории се намира офис информатика", а вторият публиката - ". Кабинет по физика е в различна аудитория" е знак, че се казва Проверки, които идват на училище, ние знаем, че само надписите върху таблетки, или и двете са верни, или и двете са неверни. Помогне в намирането на офис информатика проверителя.
Превод на състоянието на езика на Пропозиционални логика. Тъй като във всяка една от класните стаи може да бъде по компютърни науки проучване, нека:
A - «Първият публиката е Кабинет по информатика";
Б - «Вторият публиката е компютърни науки проучване".
Тогава негативите на тези изявления ще се съобразят с:
- Резюме съдържа на етикета на първия публиката съответства на логическа формула: X = A Б.
- "Първото публиката е кабинета по физика"
- "Вторият публиката е кабинета по физика"
- Декларация, съдържаща се в етикета на втората публиката отговаря на логическия израз: Y =.
Съдържа се в отчета за проблем, който надписите върху таблетите, или едновременно истина или лъжа в същото време, в съответствие с правото на изключени средата е написано, както следва: = 1.
Заместващ вместо X и Y, съответстваща на формулата:
Ние се опрости първата първия мандат. В съответствие с правото на разпределителни умножение над допълнение: =.
В съответствие със закона на не-противоречие: =.
Сега опрости втори план. В съответствие със закона на де Морган и правото на двойно отрицание: =.
В съответствие със закона на не-противоречие :.
Резултатът :.
Получената логическият израз е просто, и затова може да се анализира, без изграждане на маса истина. С цел да задоволи равенството. и двете логически променливи трябва да бъде равна на 1, както и съответните твърдения са верни.
Отговор: Първата публиката е проучването на физиката, а вторият - от кабинета по информатика.
Свързани статии