Stránka 1 z 1
Pisemka Gregor 15.12.2011
Napsal: 16. 12. 2011 20:26
od mathemage
1) Uvedte zneni vety o kompaktnosti. (viz skripta)
2) Syntakticky oduvednete,
, kde
je generalni uzaver
. Vysvetlete, co je generalni uzaver.
(Jedna se o formuli po
-"okvantifikani" vsech volnych promennych puvodni formule. Implikace
: pravidlo modus ponens; Implikace
: axiom substituce, konkr.
\varphi\rightarrow\varphi(x/x))
)
3) Vhodnym protiprikladem dokazte
\psi) \rightarrow (\forall x)(\varphi\rightarrow\psi))
. Jakou vetu k tomu vyuzivate?
(Veta o koreknosti. Kontrabeispiel:
, kde P, R jsou relacni unarni symboly a
a navic
. Pak
![\mathcal{A}\models (P^{\mathcal{A}}(x) \rightarrow(\forall x)R^{\mathcal{A}}(x))[a] \; \& \; \mathcal{A}
ot\models(\forall x)(P^{\mathcal{A}}(x)\rightarrow R^{\mathcal{A}}(x))](http://latex.codecogs.com/gif.latex?\mathcal{A}\models (P^{\mathcal{A}}(x) \rightarrow(\forall x)R^{\mathcal{A}}(x))[a] \; \& \; \mathcal{A}
ot\models(\forall x)(P^{\mathcal{A}}(x)\rightarrow R^{\mathcal{A}}(x)))
, neboli
 \rightarrow(\forall x)R^{\mathcal{A}}(x)) \rightarrow (\forall x)(P^{\mathcal{A}}(x)\rightarrow R^{\mathcal{A}}(x)))
, tedy tvrzeni neni dokazatelne.)
Re: Pisemka Gregor 15.12.2011
Napsal: 16. 12. 2011 20:51
od PetrK
Toz je to s tou logikou v ****, me uz nezbejva nez doufat, ze do pristiho roku trosku prehodnotej system zapoctu
Re: Pisemka Gregor 15.12.2011
Napsal: 17. 12. 2011 08:56
od mathemage
PetrK píše:Toz je to s tou logikou v ****, me uz nezbejva nez doufat, ze do pristiho roku trosku prehodnotej system zapoctu
Bohuzel mlcek se dycky diva na cviceni uspesnejsich skupin, kde jsou shromazdeny samy bedny:(
Jinak mit test kazdy tyden je opravdu narocny, ale clovek se to aspon hodne uci behem roku:)
Re: Pisemka Gregor 15.12.2011
Napsal: 17. 12. 2011 10:41
od PetrK
Nechtel bych nijak ospravedlnovat to, ze kurvim jednu pisemku za druhou, ale osobne si nejsem uplne jistej, ze v jedne skupine (u Pilata) se pseudo-nahodnym generovanim seslo 26 "beden" a u Gregora 26 "looseru" ... taky sme meli Pilata jednou na supl a musim rict, ze ten rozdil ve cviceni precijen bude.
Co se tyce stravenyho casu nad logikou za tech 8 tydnu sem tomu venoval podstatne vic cistyho casu nez jakymukoliv jinymu predmetu, co sem zatim absolvoval a proste se do toho nemuzu nijak dostat ... i kdyz si vetsinou zpetne rikam, jak sem zrovna tohle moh zk*****.
Re: Pisemka Gregor 15.12.2011
Napsal: 17. 12. 2011 18:27
od Jookyn
Netušim, jakej systém písemek je letos (jestli je to nějak centralizovaný atd), ale zápočet u Piláta loni byl dost lehkej...
Re: Pisemka Gregor 15.12.2011
Napsal: 18. 12. 2011 18:30
od mathemage
Hmm, ze by to zaviselo na cvicicich az tak razantne? Zivot je opravdu srandovni:) Na druhou stranu, kdyby se z neho odstranila veskera logika, clovek by si vubec nezaplakal:D