skupina I:
1) uviest priklad na standardny a nestandarndny minimalny system logickych spojok + pravdivostne tabulky.
2) metaveta o dokaze rozborom pripadov vo vyrok. logike
3) bla.bla.bla..dajake dristy..ani som nedocital
4) lubovolna metaveta + overenie (syntax PL)
5) priklad na separaciu
6) priklad na unifikator a rezolventu
1) uviest priklad na standardny a nestandarndny minimalny system logickych spojok + pravdivostne tabulky.
2) metaveta o dokaze rozborom pripadov vo vyrok. logike
3) bla.bla.bla..dajake dristy..ani som nedocital
4) lubovolna metaveta + overenie (syntax PL)
5) priklad na separaciu
6) priklad na unifikator a rezolventu

staci prezriet forum z min. roku, vraj daval vzdy ten isty typ prikladov!

