Thx Neo - este som to necheckoval ale mam nasledovny problem
Rozmyslam ako je to s tymi vsetkymi odvodzovacimi pravidlami a pod...
Vychadzajuc z predpokladu, ze na skuske na to bol oficialny tahak
pri uceni pravidlam nevenujem pozornost do takej miery aby som ich
bol schopny reprodukovat s pamati.
Ale prave ma chytili nejake pochybnosti v zmysle co ak dostanem otazku typu:
Vedeli by ste napisat odvodzovacie pravidlo pre prikaz cyklu v naturalnej semantike?
Ucite sa niekto tie pravidla?
U mna to vyzera asi tak, ze ku kazdej otazke teoriu - co to je, ako to funguje, vlastnosti...
mozno nejake jedno pravidlo na demonstraciu a veci ako dokazy maximalne tak slovne
nacrtnut, ze ako by taky dokaz prebiehal, minimalne vediet povedat ze "da sa to dokazat"
Akurat rozmyslam co si mam vybrat z tej celej zmesi informacii v 8mej prednaske k denotacnej semantike...