DME Eksamiks kordamise konspekt
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, ..., Fn järeldub valem G, kui igal neis valemeid esinevate
annaabi.ee 
