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