"ekistentsikvantor" - 1 õppematerjal

Diskreetne matemaatika eksami kordamise materjal

väärtus, mille korral on lause tõene.  On olemas üldsuse ja eksistentikvantoreid.  Üldsuse kvantor kehtib iga väärtuse korral, konjunktsioonid = 1.  Eksistentsikvantor kehtib vähemalt ühe väärtuse korral, disjunktsioonid = 1.   Seotud muutuja on muutuja, millele on omistatud kvantor.  Vaba muutuja on muutuja, millele ei ole kvantorit omistatud.  Hüüumärgiga ekistentsikvantor tähendab, et eksisteerib ainult üks selline väärtus.  Kaks predikaati on võrdväärsed kui nad omavad sama tõeväärtust.  Loogikaseadused on lihtsaimad samaselt tõesed lausearvutusvalemid.  Assotsiatiivsusseadus on sama, mis „vastus ei olene tehete järjekorrast“.  Kommutatiivsusseadus on sama, mis „vastus ei olene operandide järjekorrast“.  Kommutatiivne pole ainult implikatsiooni tehe.