"prefikskuju" - 1 õppematerjal

SML kordamisküsimustele vastused.

, järeldub valem G, kui igas interpretatsioonis valmite vabade muutujate kõikidel väärtustel, kus valemid 1 , 2 , ... , on tõesed, on ka valem G tõene · Valemid F ja G nim samaväärseteks, kui nende tõeväärtused on võrdsed igas interpretatsioonis valemite vabade muutujate kõikidel väärtustel. 6 Ülesandeid konspektis ei vaatle 9 Prefikskuju. Valemi prefikskujule viimise algoritm. Ütleme, et valem F on prefikskujul, kui F = Q1x1Q2x2 . . . QnxnF, kus Q1, Q2, . . . , Qn on kvantorid, x1, x2, . . . , xn indiviidmuutujad ja F kvantoriteta valem. Prefikskuju on lähtekoht paljudele predikaatarvutuse algoritmidele, ta mängib predikaatarvutuses sarnast rolli nagu TDNK ja TKNK lausearvutuses Teisendamise algoritm: Olgu antud valem F. 1) Elimineerida implikatsioonid ja ekvivalentsid. 2) Viia eitused kvantorite alla