12.6.07 [zk]
- Myshaak
- Matfyz(ák|ačka) level III
- Příspěvky: 162
- Registrován: 18. 1. 2006 22:29
- Typ studia: Informatika Mgr.
- Login do SIS: michp5am
12.6.07 [zk]
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... :)
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... :)
"Go for the eyes Boo, go for the eyes! Yeahh!!"
- Jirka
- Matfyz(ák|ačka) level I
- Příspěvky: 21
- Registrován: 30. 1. 2006 22:55
- Typ studia: Informatika Bc.
- Bydliště: Z kama su? Tož z Moravy, može byt?
- Kontaktovat uživatele:
Vysledky
Nevi se neco o tom, kdy zhruba budou vysledky? Pisemek bylo kotel, takze to asi chvilku potrva:-/ doufam, ze to do patku stihnou
Re: Vysledky
napriklad ja mam stvorku uz zapisanu a aj kamarat jednotku, obaja sme boli skupina BJirka píše:Nevi se neco o tom, kdy zhruba budou vysledky? Pisemek bylo kotel, takze to asi chvilku potrva:-/ doufam, ze to do patku stihnou