Ustna cast prebieha ako presne? Hovori sa len k tomu co je na papieri (resp. v otazkach) alebo sa pytaju aj k inym veciam?
Na papieri by si mal mat napisanu podstatu co sa ta pytaju v otazke, s tym ze pri ustnej odpovedi sa to da doplnit, poopravit, vysvetlit atd.
Doplnujuce otazky mozu byt lubovolne ale vacsinou su k oblasti co si si vytiahol.
Neviete niekto tak po lopate vysvetlit konstrukciu dokazu v Hilbertovom kalkule? Nejak nvm prist na to, ako mam postupovat
Mas tam tych 7 axiom a jedno dedukcne pravidlo(modus ponens). Axioma je vlastne tautologia.
A teraz ked mas nejaky celkovy vyrok(napr. A -> neg. neg. A), ktory chces dokazat tak to musis urobit tak, ze tie jednotlive formuly(A a neg. neg. A) toho celkoveho vyroku, dosadis do tych axiom, tak aby ked pouzijes modus ponens, aby v zavere bol ten vyrok, ktory dokazujes.
Modus ponens je o tom, ze ak mas nejake dve formuly(predpoklady), ktore su v tvare A a A->B a vies o nich ze platia, tak z toho vies vydedukovat to ze plati B. V pripade dokazovania v Hilbertovom kalkule to B musi byt ten dokazovany celkovy vyrok.