Две формули на предикатна логика, и призова региона, за да бъдат равностойни, ако те вземат същите логическите стойности за всички стойности на променливи, които се срещат в тях, посочени в района.
Две формули на предикатна логика и са призовани да бъдат равностойни, ако те са равностойни във всяка област.
Очевидно е, че всички формулата за равностойност на Пропозиционални алгебра ще бъде вярно, ако те замести за променливите на формулата на предикатна логика. Но. В допълнение, ние имаме на равностойността на предикат самата логика:
закон Де Морган:
Законът на двойното отрицание:
За произволно изказване (предикат, не свързан с променлива) еквивалентност на следните формули:
Промяна на променливи формули (където един домейн)
Очакване на нормалната форма на сказуемото
Формула предикат има нормална форма, ако съдържа само операциите на връзка, дизюнкция, и операция квантор и отказ операция се определя на елементарен предикат.
Като се има предвид предикат. Причина предиката на нормалната форма
Prenex нормална форма на предиката се нарича нормална форма на този предикат, който операторите квантор са липсваха или се използват след операции на алгебрата на логиката.
Предикатна резултат от предишния пример за образуване prenex нормална предикат
Свързани статии