Mitteklassikalised loogikad.: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 5. rida: | 5. rida: | ||
2. [[Temporaalloogika.]]<br> | 2. [[Media:RakLoogika_11_1.ppt|Temporaalloogika. (ppt)]]<br> | ||
3. [[Kirjeldusloogikad.]] | 3. [[Media:RakLoogika_11_2.ppt|Kirjeldusloogikad. (ppt)]] | ||
Viimane redaktsioon: 11. mai 2006, kell 14:51
1. Modaalloogika.
Modaalloogika on klassikalise loogika üldistus, kus on lisaks kasutusele võetud võimalikkuse ja paratamatuse modaalsed operaatorid. Tavaliselt öeldakse, et loogiliselt mittevõimalik on see, millest järeldub vastuolu. Seega on iga väide, mis on tõestatud vääraks, loogiliselt mittevõimalik ja iga tõestatud lause paratamatult tõene. Kui lause pole paratamatult väär, siis on ta loogiliselt võimalik.