Loogika konspekt 6-10
enam täiesti tõesed, sest implikatsiooni järelduse tõesusaste on eelduse tõesusastmest
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
annaabi.ee 
