Kas arutlus kehtib? a) Iga inimene loeb raamatuid. Mõni raamat on huvitav. Mõni inimene loeb huvitavaid raamatuid. b) Iga koer haugub. Mõni koer on koduloom. Mõni koduloom haugub. 2. Tõeväärtustabelite meetod. Kas hulk on kooskõlaline? {A ~B, ~(A&C), ~A} 3. Esitada antud lause predikaatloogika keeles kõigi...
01.14 Loogika on teadus mõtlemise reeglitest, struktuuridest ja vormidest. Loogikat võib pidada ka mõtlemise mudeliks, nimelt arutlemise mudeliks keeles. Loogika esitab väiteid ja arutlusi formaliseeritud kujul, kasutades kuntslikke formaalseid keeli. Selle valdkonnaga tegelevad nii filosoofia kui ka matemaatika. Klassikaline loogika puhul võib eristada kahte formaalset keelt – lausearvutust ja predikaatarvutust. Lause...
Sissejuhatus,lausearvutus,loogikaseadused Milliste matemaatikavaldkondadega Diskreetne Matemaatika ei tegele? Diskreetne matemaatika ei tegele pideva matemaatika valdkondadega, ehk nendega, kus tegeletakse pidevate funktsioonidega. Näiteks matemaatiline analüüs, integraal- ja differentsiaalaarvutused. Milliste arvudega diskreetne matemaatika ei tegele? Diskreetne matemaatika ei tegele reaalarvudega...