"eldumist" - 1 õppematerjal

Loogika konspekt 6-10

Klassikalises loogikas arvatakse implikatsioon vääraks, kui tema eeldus on tõene ja järeldus on väär. Hägusloogikas tähendab see situatsiooni, kus eelduse tõesusaste on järelduse tõesusastmest suurem. Sellepärast on loomulik implikatsiooni tõesusastmeks pidada tõesuse kadu üleminekul tema eelduse tõesusastmelt järelduse tõesusastmele: F(p q) = 1; välja arvatud, kui F(p) > F(q); siis F(p q) = 1 ­ (F(p) ­ F(q) Hägusloogikas saab loogilist jär eldumist defineerida mitmel viisil. Klassikalises mõttes ei tohi tuletada tõestest eeldustest väära järeldust: Kui me aga keelame järeldamisel tõesusastme vähenemise, siis saame tugeva järeldamise definitsiooni Nüüd on võimalik veenduda, et soriitide paradoksid ei kehti hägusloogikas. Näiteks õunte rivi paradoksi korral ei ole eeldused Kui õi on roheline, siis õi+1 on roheline (1 ø i ø 100).