"konjukstiooni" - 1 õppematerjal

DME Eksamiks kordamise konspekt

5. Neelamisseadused a. F&(FvG)F FvF&GF 1  6. De Morgani seadused a. (F&G)=FvG (FvG)=F&G 7. Kahekordse eituse seadus a. FF 8. Liikmete elimineerimise reeglid a. F&T=F F&V=V FvT=T FvV=F 9. Implikatsiooni avaldis konjukstiooni ja disjunktsiooni kaudu a. FG(F&G) FGFvG 10. Konjuktsiooni ja disjunktsiooni avaldis omplikatiooni kaudu a. F&G=(FG) FvG=FG 11. Ekvivalentsi avaldis teiste tehete kaudu a. FGF&GvF&G FG(FG)&(GF) Järeldumine on olukord, kus mingi lause loetakse tõeseks, viidates mingite teiste lausete tõesusele. Järeldumine võib aset leida mitmel põhjusel. Def. Ütleme, et valemitest F1, F2, ..