Сформиране на Пропозиционални логика
Когато се работи с изявленията ние абстрактни от своя зачервена, ние се интересуваме само от тяхната истина или лъжа. Всеки изказване - декларативен изложение на естествен език. Въпреки факта, че естествения език е много по-богат, отколкото Пропозиционални логика алгебра, следната таблица показва един от начините, формализирането на сложни отчети, т.е. изграждане на булеви формули.
Помислете примери за изграждането на формули, при условие, че е "времето е ясно», ь «дъждовно време," в "вятърна мелница времето".
Съюзи и частици на естествен език
Пропозиционални операции алгебра
времето е ясно и дъждовно
ясен или дъждовно време
Тя ще бъде ветровито или дъждовно
Не е вярно, че времето е ясно
"А" достатъчно условие "б"
ясно време е дъждовно време достатъчно
Ако времето е ясно, че ще вали
"А" необходимо условие за "В"
ясно време е предпоставка за дъждовно време
"А", ако и само ако "б"
хубаво време се случва, ако и само ако има дъжд
времето е ясно или дъждовно или облачно
или "а" или "б", но не и двете
Или сега времето е ясно или дъждовно, но не е ясно с дъжд
Формализирането на естествени езикови изказвания може да се използва следният подход. Да се даде логично изречение (композитен).
Връхната точка на композитни отчети са прости твърдения и ги обозначават с латински букви.
Изграждане на синтактична дърво. в която всеки връх съответства на логическа връзка (операция) и крайните върховете - прост изказване.
Запишете логическата формула от преминаващи структурата на дърво с дърво и логически операции предимство на.
Помислете отчета за логика:
"Не е вярно, че има дъжд или ветровито и студено"
Ние избираме прости изявления и да ги замени с буквите:
В първия етап, който искате да изберете коренът.
В този случай, коренът ще бъде един куп граматически - "Невалиден".
Във втората фаза на строителството на дървото трябва да разбере, колко и какви букви и / или граматика пакет ще бъде на следващото ниво.
В нашия случай, то ще бъде само един граматичен куп - ". Или"
Важно е да се отбележи, че ако връх (който и да е, не е задължително да корен) е "отказ" ( "False"), а след това да го сам клон отида.
Освен това, в третия етап, който искате да изберете на върха, на която ние ще продължим да се изгради дървото.
В нашия случай това е един, така че ние повтаряме стъпка номер 2 и да преминете към следващото ниво на дървото: третия.
Избор на опростена декларация (писмо) - "А" и един куп граматика - "и".
Върнете се към стъпка 3 и изберете броя на върха - "и".
Важно е да се помни, две правила:
Винаги е необходимо да се движи дървото от горе до долу и от ляво на дясно.
Дърво никога не може да сложи край на възли с граматическите сухожилия (операции).
Връщайки се към етап 2, ние избираме прости изрази (знака), и C. Дървото е конструирана.
Фиг. 1 показва едно дърво да се казва: "Това не е вярно А или В и С».
Фиг. 1. Изграждане на дървото да се казва "Invalid, А или Б и В»
Сменете сухожилие операции на граматическите отчети (Фигура 2).
На базата на изградената дървото, ние можем да напишем логично изречение: "Това не е вярно, не вали дъжд или ветровито и студено" на езика на формалната логика: