robim podla mishelinho vzoru vlastny jazyk ale akosi mi stamat po upravach povypadavali svetky funkcie. Moze to byt dobre ked v jazyku budem mat len axiomy a predikaty ci nie ?
inak pozor, lebo na skúške mi to nezobral ako binárne funkcie, sú to skôr predikáty a tie sa píšu s ekvivalenciou nie s rovná sa... !!!