# 12.6.07 [zk]

<{ForumPost(poster="Myshaak", timestamp=2007-06-12 11:21:35)}>
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<sub>x</sub>\[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... :)
<{/ForumPost}>

<{ForumPost(poster="Jirka", timestamp=2007-06-12 12:41:02)}>
Nevi se neco o tom, kdy zhruba budou vysledky? Pisemek bylo kotel, takze to asi chvilku potrva:-/ doufam, ze to do patku stihnou
<{/ForumPost}>

<{ForumPost(poster="Eubie", timestamp=2007-06-12 15:14:01)}>
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:)
<{/ForumPost}>

<{ForumPost(poster="jeza", timestamp=2007-06-12 16:24:45)}>
Č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á.
<{/ForumPost}>

<{ForumPost(poster="phanno", timestamp=2007-06-13 18:53:26)}>

 > Jirka wrote: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
<{/ForumPost}>

<{ForumPost(poster="Jirka", timestamp=2007-06-15 10:21:07)}>
Jaj, taky jsem byl skupina B, zapocet v SISu mam a vysledek porad nikde...
<{/ForumPost}>

<{ForumPost(poster="melda", timestamp=2007-06-15 20:20:19)}>
Byl jsem skupina B a zapocet i vysledek(za 3) uz mam v SISu :)
<{/ForumPost}>

<{ForumPost(poster="zehyo", timestamp=2007-06-17 13:16:43)}>
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 :(
<{/ForumPost}>

<{ForumPost(poster="zehyo", timestamp=2007-06-18 16:27:58)}>
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 :)
<{/ForumPost}>