LpI - Logika pre informatikov

[sad47]

Ustna cast prebieha ako presne? Hovori sa len k tomu co je na papieri (resp. v otazkach) alebo sa pytaju aj k inym veciam?

[MackoZlesa]

Neviete niekto tak po lopate vysvetlit konstrukciu dokazu v Hilbertovom kalkule? Nejak nvm prist na to, ako mam postupovat 

[azalie]

mozte niekto napisat ake ste mali otazky a ulohy?? co ste si potiahli? Cos a tyka teorie mali ste napr otaku naturalna dedukcia a mali ste k tomu psiat vsetko co viete alebo ste mali presne dane ze co. napr ako sa roby dokaz v naturalne dedukcii. alebo daco take.

[drtic]

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.