od jirka_v » 4. 9. 2007 17:42
Zdravim,
dnesni zkouska byla podobna tem trem poslednim v cervnu (prvni list s teorii asi uplne stejny jako v
http://forum.matfyz.info/viewtopic.php?t=3381).
Vysledky by mely byt v pondeli.
Nepamatuju si to presne, ale snad vystihnu, o co slo:
Vyrokova logika:
1.a) ukazte, ze jen pomoci negace a konjunkce jdou vyjadrit i ostatni logicke spojky (2 body)
b) ukazte, ze formule A,B jsou validni prave kdyz je formule A⇔B validni (3 body)
2.a) ukazte, ze jestli je teorie T splnitelna, potom je kazda formule z T taky splnitelna
b) ukazte, ze obracena implikace neplati
- za a) i b) v souctu 5 bodu
3. Dokazte, ze zadna pozitivni formule neni validni (pozitivni formule vznikne jenom z promennych, konjunkce a disjunkce). (10 bodu)
Zdravim,
dnesni zkouska byla podobna tem trem poslednim v cervnu (prvni list s teorii asi uplne stejny jako v [url]http://forum.matfyz.info/viewtopic.php?t=3381[/url]). [b]Vysledky by mely byt v pondeli.[/b]
Nepamatuju si to presne, ale snad vystihnu, o co slo:
Vyrokova logika:
[b]1.a) ukazte, ze jen pomoci negace a konjunkce jdou vyjadrit i ostatni logicke spojky (2 body)
b) ukazte, ze formule A,B jsou validni prave kdyz je formule A⇔B validni (3 body)[/b]
[b]2.a) ukazte, ze jestli je teorie T splnitelna, potom je kazda formule z T taky splnitelna
b) ukazte, ze obracena implikace neplati
- za a) i b) v souctu 5 bodu[/b]
[b]3. Dokazte, ze zadna pozitivni formule neni validni (pozitivni formule vznikne jenom z promennych, konjunkce a disjunkce). (10 bodu)[/b]