Bezpečné formule DRK

• 4. smí být použit pouze v konjunkcích typu 3.

• Př.:

• x=y NENÍ bezpečná

• x=y  R(x,y) NENÍ bezpečná

• x=y R(x,y) JE bezpečná

• R(x,y,z)  (P(x,y)  Q(y,z)) NENÍ bezpečná, je definitní.

• R(x,y,z) P(x,y) Q(y,z) je bezpečná!