12.6.07 [zk]

[Myshaak]

Zadani skupiny A:

1, neco ve stylu [ (A ⇒ (A⇒A) ) ⇒ ¬( ¬A ⇒ A ) ] ⇔ A // opraute me kdyztak
a) je to tautologie? (1b)
b) pokud ano, dukaz (pomoci axiomu a pomocnych vet atd...) (4b)

2,
a) definice splnitelne mnoziny formuli (1b)
b) Veta o kompaktnosti, dukaz (4b)

3, lemma o neutralni fli: T,A |− B a T,¬A |− B tak potom T |−B (10b)

4,
a) definuj, co to je varianta formule v PL (1b)
b) dokaz, ze pro fli A jsou vsechny varianty ekvivalentni (9b)

5, ...tady mel chybu v zadani, po upozorneni to potom na tabuli opravil:
a) dokazte, ze plati T |− A ⇔ T ∪ {¬ uzaver(A)} je sporna teorie (8b)
b, kdy plati, ze T |− A ⇔ T ∪ {¬A} je sporna? (2b)

6,
a) definuj axiomy rovnosti (1b)
b) dokazat tvrzeni: A_x[t] ⇔ <Vx>(x=t ⇒ A) (9b)


Chyby pripadne omluvte a opravte, dik.
Jinak nebylo to sice lehky, ale taky ne neprekonatelne tezky, tak snad se zadari... :)

[Jirka]

Nevi se neco o tom, kdy zhruba budou vysledky? Pisemek bylo kotel, takze to asi chvilku potrva:-/ doufam, ze to do patku stihnou

[Eubie]

Ještě nejsou ani výsledky první písemky, takže s pátkem bych se pro jistotu rozloučil..

Jak prosímvás probíhá písemka? Dává papíry nebo si mám přinést vlastní? Cirkuluje po třídě nebo si u katedry počte v novinách, co se kde stalo? Disclaimer: rozhodně NEchci opisovat ani nic podobnýho:)

[jeza]

Čte v novinách a občas se porozhlédne, ale rozhodně nechodí - jen jednou na začátku šel sebrat zbylé písemky. Rozdává papíry, všechno se na ně vejde - na každý příklad je A4 z druhé strany prázdná.

[phanno]

Nevi se neco o tom, kdy zhruba budou vysledky? Pisemek bylo kotel, takze to asi chvilku potrva:-/ doufam, ze to do patku stihnou

napriklad ja mam stvorku uz zapisanu a aj kamarat jednotku, obaja sme boli skupina B

[Jirka]

Jaj, taky jsem byl skupina B, zapocet v SISu mam a vysledek porad nikde...

[melda]

Byl jsem skupina B a zapocet i vysledek(za 3) uz mam v SISu

[zehyo]

Ja v SISu uz mam zapocet (od cviciciho), ale znamka ze zkousky porad nikde. Je tu jeste nekdo, kdo to porad nema opraveny? Uz se zacinam bat nejakych komplikaci

[zehyo]

Tak uz to mam zapsany, dnes jsem totiz za nim byl, a pry jsem nemel zapocet v sisu, a proto mi to nezapsal, a at si nemyslim, ze je blbej, ze kdyby to tam bylo, tak mi zapise i zkousku. Tak jsem se pro jistotu rychle omluvil, i kdyz zapocet mam zapsany s datem 1.6. No nic, hlavne ze mam zkousku