Ei tohi olla kahte eitavat eeldust 4. Vasturääkivas arutluses keelab kompromissi otsimise: Küllaldase aluse seadus Identsuse seadus Vastupidisuse seadus (VÕIMALIK ÕIGE VASTUS) Välistatud kolmanda seadus Eituse eitamise seadus 5. Ressursside liikumise analüüsiks sobib kõige paremini: Hägusloogika Kvantloogika Mittemonotoonne loogika Lineaarloogika (ÕIGE VASTUS) Informaalne loogika 6. Materiaalne implikatsioon on alati tõene siis, kui: Selle tagajärg on väär Selle alus on tõene Selle osalaused on erineva tõeväärtusega Selle tagajärg on tõene (ÕIGE VASTUS) Selle alus on tõene ja tagajärg väär 7. Binaarse predikaadi ees paikneb kaks kvantorit, üks rakendub predikaadi esimesele indiviidimuutujale, teine kvantori teisele indiviidimuutujale.
väiksem. Mittetõestest eeldustest võib klassikalisel ja nõrgal järeldamisel teha suvalise järelduse. Mittemonotoonne loogika (ik non-monotonic logic) Laused võivad osutuda vääradeks, kui me saame konkreetse olukorra kohta täpsustatud informatsiooni. Klassikaline loogika on monotoonne, sest temas kehtib, et loogiliste järelduste hulk ei kahane eelduste hulga kasvamisel. Mittemonotoonsete arutluste korral see ei kehti. Lineaarloogika (ik linear logic) Lineaarloogika on klassikalise loogika laiendus, milles püütakse formaliseerida ressursside liikumisega seotud probleeme. Tema autoriks on prantsuse loogik Jean-Yves Girard. A-st B järeldamine tarvitab A ära, nii et pärast järeldusreegli rakendamist enam A-d alles pole. Füüsikas ja keemias nimetatakse sellist protsessi reaktsiooniks. Samas annab lineaarloogika võimaluse käsitleda järeldust soovi korral klassikaliselt: lineaarloogika annab vahendid järelduse tähendust soovi kohaselt määrata
56. Märkige ära väide, mis kuulub nõude alla, et liigitus peab olema adekvaatne. Ükski esitatud alternatiiv ei ole asjakohane 57. Materiaalne implikatsioon on alati tõene siis, kui selle alus on väär 58. Kui kategooriliste väidete loogilises ruudus on osajaatav väide tõene, siis on paratamatu, et vastav: üldeitav väide on väär 59. Empiiriliste põhjendite hulka kuuluvad: aksioomid 60. Ressursside liikumise analüüsiks sobib kõige paremini: lineaarloogika 61. Predikaat on samaselt tõene, kui: kui see muutub tõeseks lauseks iga indiviidi korral 62. Tahtlik viga arutluses on: sofism 63. Kui kategoorilise süllogismi mõlemad eeldused on üldised väited ning terminite mahud pole tühjad, siis järeldus: võib olla ka osaline väide 64. Osajaatavast väitest saab pärast ümber pööramist osajaatav 65. Deduktiivne arutlus enamasti suunatud: üldiselt üksikule 66. Modaalses loogikas peab võimalik väide olema tõene: vähemalt ühes
annaabi.ee 
