Самолетни двигатели Административно право Административно право на Беларус Алгебра Архитектура Безопасност на живота Въведение в професията „психолог“ Въведение в икономиката на културата Висша математика Геология Геоморфология Хидрология и хидрометрия Хидравлични системи и хидромашини История на Украйна Културология Културология Логика Маркетинг Машиностроене Медицинска психология Метали и заваръчни инструменти Метали и метали икономика Описателни геометрия Основи на икономически т Oria професионална безопасност Пожарна тактика процеси и структури на мисълта, Професионална психология Психология Психология на управлението на съвременната фундаментални и приложни изследвания в апаратура Социална психология социални и философски проблеми Социология Статистика теоретичните основи на компютъра автоматично управление теория теорията на вероятностите транспорт Закон Turoperator Наказателно право Наказателно-процесуалния управление модерно производство Физика физични явления Философски хладилни агрегати и екология Икономика История на икономиката Основи на икономиката Икономика на предприятията Икономическа история Икономическа теория Икономически анализ Развитие на икономиката на ЕС Спешни ситуации VKontakte Odnoklassniki My World Facebook LiveJournal Instagram

Какво е логическа формула?




Използвайки логически променливи и символи на логически операции, всеки оператор може да бъде формализиран, тоест заменен с логическа формула.

Дефиниция на логическа формула : 1. Всяка логическа променлива A, B ... и символите "true" ("1") и "false" ("0") са елементарни формули. 2. Ако A и B са формули, тогава , (A • B), (A Ú B), (A à B), ( A ~ B ) - има и формули. 3. В алгебрата на логиката няма други формули.

Като пример, разгледайте твърдението „ ако купувам ябълки или кайсии, мога да направя плодов пай “. Това твърдение се формализира като (A формула B) à C. Както показва анализът на формулата

(A Ú B) à C, за определени комбинации от стойности на променливите A, B и C, тя приема стойността „true“, а за някои други комбинации стойността е „false“. Такива формули се наричат изпълними .

Някои формули приемат стойността „ true “ за всякакви стойности на истинността на техните променливи. Такава ще бъде например формулата A Ú съответстващ на израза „ Този триъгълник е правоъгълен или наклонен “. Тази формула е вярна, когато триъгълникът е под прав ъгъл и когато триъгълникът не е под ъгъл. Такива формули се наричат ​​идентично верни формули или тавтологии . Изявленията, които са формализирани от тавтологии, се наричат ​​логически верни изявления.

Като друг пример, разгледайте формулата A • , което съответства например на твърдението „ Катя е най-високото момиче в класа, а в класа над Катя има момичета .“ Очевидно тази формула винаги е невярна, тъй като или А, или задължително невярно. Такива формули се наричат ​​идентично фалшиви формули или противоречия . Изявленията, които са формализирани от противоречия, се наричат ​​логически неверни изявления.

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

Еквивалентността на две формули на алгебрата на логиката се обозначава със символа "=" или символа "Î". Замяната на формула с друга еквивалентна на нея се нарича еквивалентна трансформация на тази формула.





; Дата на добавяне: 2018-01-21 ; ; изгледи: 334 ; Публикуваните материали нарушават ли авторските права? | | Защита на личните данни | ПОРЪЧАЙТЕ РАБОТА


Не намерихте това, което търсите? Използвайте търсенето:

Най-добри поговорки: Ученикът е човек, който постоянно отлага неизбежността ... 10769 - | 7373 - или прочетете всичко ...

2019 @ ailback.ru

Генериране на страница за: 0.001 сек.