změněno 23. 10. 2009 15:10 nové
Analytické myšlení a úsudky
Markéta Vlasáková
17. 4. 2009 18:45nové
TSP 2008, varianta 02, př. 47 - papírové zadání

Takhle při pátku jsem se hloubavě zamyslela nad tímto příkladem:
Určete větu, která z daných vět vyplývá:
Je-li březen, za kamna vlezem.
Není-li březen, domů se vezem.

a) Domů se nevezem nebo za kamna vlezem.
b) Domů se vezem nebo za kamna nevlezem.
c) Domů se vezem a za kamna nevlezem.
d) Jestliže se domů nevezem, za kamna nevlezem.
e) Domů se vezem nebo za kamna vlezem.

Správnou odpovědí je E.
ALE! Pakliže nám ze zadání vyplyne, že vlezem za kamna NEBO se vezeme domů -
čili disjunkce (není vylučovací, když před nebo není čárka) - znamená to, že je
možné, aby nastaly obě varianty. A to proto, že disjunkce je pravdivá i v
případě, že jsou obě její části pravdivé.
Jenže tyto dvě varianty přece nemůžou nastat zároveň - znamenalo by to, že by
březen zároveň BYL i NEBYL.

Pak si také říkám, netkví-li ta klička v tom, že by jedna z prvních částí výroků
ze zadání (je-li březen / není-li březen) mohla být nepravdivá. V tomto případě
by totiž celé výroky byly přesto pravdivé...protože implikace je pravdivá i v
případě, že 0 -) 1

Achjo. Vrtá mi to hlavou. Dokázal by mi někdo objasnit tu záhadu?
Martin Malý
změněno 4. 5. 2009 16:51 nové

Myslím, že by Ti mohla pomoct následující tabulka:

B VL VE B -> VL -B -> VE VE v VL
------------------------------------------
1 1 1 1 1 1
1 1 0 1 1 1
1 0 1 0 1 1
1 0 0 0 1 0
0 1 1 1 1 1
0 1 0 1 0 1
0 0 1 1 1 1
0 0 0 1 0 1

Vyčteš z ní nejen to, že výrok VE v VL vyplývá z výroků B -> VL, -B -> VE , ale
také to, že kterákoli z možností "p(VE) = 1 a p(VL) = 1", "p(VE) = 1 a p(VL) =
= 0", "p(VE) = 0 a p(VL) = 1" může za předpokladu, že oba z výroků B -> VL,
-B -> VE jsou pravdivé, nastat, a kromě toho i to, že tato možnost není v
rozporu s poznatkem, že pro žádný výrok S není p(S & -S) = 1 (k čemuž - že
možnost není v rozporu s poznatkem - se ostatně již sama blížíš v předposledním
odstavci svého příspěvku).
Markéta Vlasáková
18. 4. 2009 20:26nové
Vy jste si zase dal práci!! Jen mi, prosím, ještě objasněte, co znamenají ta "p"
před závorkami obsahující výroky: např. p(S&-S)
Úsudky jsem se učila sama ze zdrojů na internetu (podobné diskuze jako tato),
nicméně s tímto označením jsem se ještě nesetkala a z kontextu nedokáži význam
logicky odvodit.
Jan Kadlec
19. 4. 2009 09:48nové
p(VE) = 1 ... pravdivost výroku VE je 1 (pravdivý)
Martin Malý
změněno 2. 5. 2009 06:19 nové
Je-li V výrok, pak symbolem "p(V)" značím jeho pravdivostní hodnotu. Značení
jsem převzal z učebnice Fuchs, E.: Logika a teorie množin (Úvod do oboru), Brno
1978.
Pavlína Srovnalíková
19. 4. 2009 11:43nové
Martine,můžeš mi prosím vysvětlit ty řádky v tabulce? Proč tam je osm řádků,
když vět je jen sedm? Prokopávám se tím sama totálně nezkušená, myslela jsem, že
se doplňují hodnoty do tabulky dle zadaných vět. Teď jsem totálně zmatená a
nemůžu přijít na ten princip řešení výrokových otázek. Už mám z toto hlavu jak
balón. Pomůžeš prosím??