educational tool for first order logic - github pages · = z zipper. deleteme toprenumbered } = z...
TRANSCRIPT
Educational tool for first order logicAlexandra Nyitraiova
Čo robím?-as n re zo e t vým a k-ne zu mňa-va je ôka y čuj y-dôka z a je t o vú št u túru, ((-p -> -r) <-> (r->p)) je ológi
Čo je v pôvodnom?
-p e t (u)-va áci A y a B-ex t/im t J O e-záve-sa p-he r ti-p i v i do n on (u)- ma e c ého s mu (u)
Čo robím navyše?
-p e áb a št u túr-re r a v i c-su t i (t a s m i al i )-va ci G y a D y (u)-p i n e ho d (u)-ma e v r ého al od r (u)-s i c t (u)-z e b na ak n od r c ýba (u)-un /re
Flux flow v Elme
Ďakujem za pozornosťOtáz