Graafid ja matemaatiline loogika eksamimaterjal
o 4) Kui F = G H, siis F = 1 parajasti siis, kui G = 0 või H = 1
o 5) Kui F = G H, siis F = 1 parajasti siis, kui G = 1 ja H = 1 või G =
0 ja H = 0
F G F&G FVG F->G F<- ¬
>G F
T T T T T T V
T V V T V V V
V T V T T V T
V V V V T T T
Lausearvtuse valemit F nimetatakse samaselt tõeseks, kui ta on igal
väärtustusel tõene
Lausearvutuse valemit F nimetatakse samaselt vääraks, kui ta on igal
väärtustusel väär
Lausearvutuse valemit F nimetatakse kehtestatavaks, kui ta on vähemalt
ühel väärtustusel tõene
Valemeid F ja G nimetatakse samaväärseteks, kui nende tõeväärtused on
võrdsed igal neis valemeid esinevate muutujate väärtustusel
Ütleme, et valemitest F1, F2, ..