7.5. Feladatok

  1. Határozzuk meg az alábbi klózhalmazok valamely rezolúciós cáfolatát.

  2. Igazoljuk, hogy a

    Equation 7.. 


    formulahalmaz nem elégíthető ki.

  3. Elsőrendű rezolúciós kalkulussal igazoljuk, hogy az alábbi formulák logikai törvények.