Otsingu tulemused
Mine navigeerimisribale
Mine otsikasti
Vasted lehekülje pealkirjades
- ...e [[sümbol (loogika)|sümbol]]ite [[hulk]]a. Keele mõiste kuulub [[süntaks (loogika)|süntaks]]i valda. ...''L'' sümbolitest, lauseloogika sümbolitest (nagu näiteks [[konjunktsioon (loogika)|konjunktsioon]]i sümbol), [[muutuja]]sümbolitest ja [[kvantor]]isümbolites ...6 KB (905 sõna) - 4. september 2024, kell 18:44
Vasted lehekülje tekstides
- ...mise järeldamine ei kehti') on [[traditsiooniline loogika|traditsioonilise loogika]] [[printsiip]], mille järgi [[tegelikkus]]est [[järeldumine|järeldub]] [[v [[Kategooria:Loogika]] ...1 KB (169 sõna) - 29. mai 2022, kell 19:42
- ...eem|formaalne]] [[arvutus]]te esitusviis. Seda kasutatakse [[matemaatiline loogika|matemaatilises loogikas]] ja [[funktsionaalprogrammeerimine|funktsionaalpro [[Kategooria:Loogika]] ...1 KB (192 sõna) - 18. veebruar 2015, kell 21:49
- ...e [[sümbol (loogika)|sümbol]]ite [[hulk]]a. Keele mõiste kuulub [[süntaks (loogika)|süntaks]]i valda. ...''L'' sümbolitest, lauseloogika sümbolitest (nagu näiteks [[konjunktsioon (loogika)|konjunktsioon]]i sümbol), [[muutuja]]sümbolitest ja [[kvantor]]isümbolites ...6 KB (905 sõna) - 4. september 2024, kell 18:44
- [[Kategooria:Loogika]] ...532 baiti (83 sõna) - 7. mai 2019, kell 09:24
- [[Kategooria:Loogika]] ...693 baiti (84 sõna) - 5. september 2024, kell 21:10
- ...iide |perekonnanimi=Meos |eesnimi=Indrek |autor-link=Indrek Meos |pealkiri=Loogika konspekt |url=https://filosoofia.indrekmeos.xyz/lo_konsp.pdf |vaadatud=15. [[Kategooria:Loogika]] ...3 KB (403 sõna) - 15. august 2024, kell 17:34
- ...imine''' on [[hulgateooria]]s meetod, mille abil konstrueeritakse [[mudel (loogika)|mudel]]eid, mida rakendatakse peamiselt [[suhteline kooskõlalisustõestus|s ...les, et [[hulgateooria]] [[aksiomaatika]] (näiteks [[ZFC]]) antud [[mudel (loogika)|mudel]]ile (alusmudelile <math>M</math>) lisatakse teatud [[hulk]] <math>G ...3 KB (441 sõna) - 15. märts 2013, kell 02:26
- kus <math>\wedge</math> tähistab [[konjunktsioon (loogika)|konjunktsioon]]i. ...1 KB (151 sõna) - 29. detsember 2015, kell 22:42
- kus <math>\wedge</math> tähistab [[konjunktsioon (loogika)|konjunktsioon]]i. ...i|Sulgudes olevate [[argument (matemaatika)|argument]]ide [[konjunktsioon (loogika)|konjunktsioon]]id.<br><br>Mitte ühegi argumendi konjunktsioon on [[tautolo ...4 KB (568 sõna) - 15. august 2023, kell 02:11
- ...]] ja panustas oluliselt tänapäevase [[Matemaatiline loogika|matemaatilise loogika]] arengusse.<ref name=":0">{{Netiviide|Autor=Encyclopaedia Britannica|URL=h ...defineerimist. Tänu sellele oli võimalik kinnitada kõigi [[Aristoteles]]e loogika põhiseaduste õigsust. ...7 KB (1001 sõna) - 15. jaanuar 2025, kell 13:12
- ...operand on ''väär.''<ref name=":0">{{Raamatuviide|autor=Enn Kasak|pealkiri=Loogika alused|aasta=2014|koht=|kirjastus=Greif|lehekülg=}}</ref> * ''q'' on implikatsiooni '''[[Järeldus (traditsiooniline loogika)|järeldus]]''' (ehk konsekvent ehk tagajärg).<ref name=":0" /> ...6 KB (839 sõna) - 25. veebruar 2024, kell 19:23
- kus <math>\wedge</math> tähistab [[konjunktsioon (loogika)|konjunktsioon]]i. ...1 KB (208 sõna) - 6. september 2012, kell 11:08
- See meenutab [[konjunktsioon (loogika)|konjunktsiooni]], sest kordub sõna "[[ja]]". Aga "[[ja nii edasi]]" ei ole [[Kategooria:Loogika]] ...4 KB (637 sõna) - 24. november 2019, kell 13:41
- * [[Jan Łukasiewicz]]i [[Poola kuju|loogika prefiksnotatsioonis]] on vastav operaator '''K''', mis tuleb poolakeelsest Nagu ka [[Matemaatiline loogika|matemaatilise loogika]] teiste tehetega, on loogiline konjunktsioon ''ning'' seotud, kuid mitte t ...13 KB (1835 sõna) - 15. august 2023, kell 02:11
- ...'[[Posterior Analytics]]'' I.2.72a18-b4.</ref> Kaasaegses matemaatilises [[loogika]]s tähistab aksioom aga arutluse eeldust või selle alguspunkti.<ref>"A prop ==Matemaatiline loogika== ...8 KB (1084 sõna) - 4. august 2024, kell 00:51
- [[Matemaatika]]s ([[matemaatiline loogika|matemaatilises loogikas]], [[formaalsete keelte teoorias]], [[automaaditeoo == Esimest järku loogika tähestik == ...12 KB (1729 sõna) - 14. juuli 2024, kell 00:30
- * Transitiivseid klasse kasutatakse [[hulgateooria]] [[mudel (loogika)|mudel]]itena. ...2 KB (330 sõna) - 13. mai 2024, kell 13:39
- [[Kategooria:Loogika]] ...3 KB (336 sõna) - 20. august 2024, kell 06:34
- *''[[ja]]''; ''[[aga (sidesõna)|aga]]'' (võivad väljendada [[konjunktsioon (loogika)|konjunktsioon]]i) [[Kategooria:Loogika]] ...5 KB (729 sõna) - 5. aprill 2019, kell 07:28
- [[Kategooria:Loogika]] ...3 KB (389 sõna) - 11. detsember 2023, kell 12:04