"literaali" - 1 õppematerjal

Loogilise programmeerimise 1.kontrolltöö konspekt

• Vasturääkivus e. kontradiktsioon – laused, mille tõeväärtused on alati erinevad • Süllogism on kahe eeldusega kehtivad arutlused. • Eeldustes on 3 mõistet, kusjuures üks esineb mõlemas eelduses Samanimeliste kvantorite järjekorra vahetamine on lubatud. Erinevat tüüpi kvantorite kohti ei saa vabalt vahetada!!! Loogiline programm on Horni disjunktsioonide (disjunktiivsete valemite) kogu, kus ükski valem ei sisalda üle ühe positiivse literaali. Kui q1,..., qn on tõesed, siis on ka p tõene” ehk ”Lausetest q1,..., qn järeldub lause p . q Horni lausete tüübid: • Fakt – HL, millel puudub keha e. ainsast positiivsest literaalist koosnev lause: • Reegel - HL, millel on pea ja keha e. ühest positiivsest ja vähemalt ühest negatiivsest literaalist koosnev disjunktsioon. • Päring – HL, millel on ainult keha e. vähemalt ühest negatiivsest literaalist koosnev disjunktsioon.