educational tool for first order logic - github pages · = z zipper. deleteme toprenumbered } = z...

7
Educational tool for first order logic Alexandra Nyitraiova

Upload: others

Post on 16-Oct-2020

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen

Educational tool for first order logicAlexandra Nyitraiova

Page 2: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen

Č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

Page 3: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen

Č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)

Page 4: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen

Č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

Page 5: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen

Flux flow v Elme

Page 6: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen
Page 7: Educational tool for first order logic - GitHub Pages · = z Zipper. deleteMe topRenumbered } = z Zipper.makeClosed top } = z Zipper. setClosed which ref top } = z Zipper. makeOpen

Ďakujem za pozornosťOtáz