woland Administrátor |
# Zasláno: 13 Bře 2006 20:01
Idea s tím, že si užívám a dosáhnu dobrého postavení se mi zvlášť líbí... :-)
---
To, že platí věta "Jestliže nestuduji, užívám si", nám říká, že:
"nenastává situace, kdy bych nestudoval a zároveň si neužíval."
Takhle se dá přečíst tabulka implikace: implikace "Jestliže P, pak Q" je nepravdivá jedině v situaci, kdy první výrok je pravdivý a ten druhý ne.
Podobně je to s druhou větou.
Mám tedy také tvrzení, že "není pravda, že studuji a nedosáhnu dobrého postavení"
Taaaaak a teď na to půjdeme tabulkou:
S U D
-------
1 1 1
1 1 0
1 0 1
1 0 0
0 1 1
0 1 0
0 0 1
0 0 0
Jak jí budeme interpretovat? Dejme tomu řádek (1, 0, 1) bude odpovídat situaci, ve které studuji a neužívám si a dosáhnu dobrého postavení. Jiný řádek: (0, 0, 1) odpovídá tomu, že nestuduji a neužívám si a dosáhnu dobrého postavení.
A nyní budu podle těch dvou vět ze zadání vylučovat z tabulky ty situace, které nemají nastat:
Vyškrtávám tedy:
(0, 0, 1)
(0, 0, 0)
podle jedničky, protože když nestuduji, tak musí být v prostředním sloupečku u "Užívání si" 1, a né nula.
Podle druhého tvrzení ze zadání vyškrtnu:
(1, 0, 0)
(1, 1, 0)
Protože když je v prvním sloupečku u studia jednička, tak musí být i v posledním jednička.
Rekapitulace těch situací, které zbývají:
S U D
-------
1 1 1
1 0 1
0 1 1
0 1 0
Tyhle všechny situace jsou na základě zadání "povolené". Když se ptáme, co se dá odvodit, je to jako kdybychom se ptali na to, co platí nutně, čili to, co platí ve všech situacích, které jsme nevyškrtli, čili taky přesně to, co vyplývá, nebo ještě jinak, co je zcela určitě pravdivé.
Ty naše zbylé řádky v tabulce ukazují, že jednou z takových nutně pravdivých vět je třeba "užívám si nebo dosáhnu dobrého postavení".
Ta zmínka o tom, že *mohou* obě dvě věci nastat naráz, jak uvedl pan kolega nade mnou, znamená, že jsme nevyškrtli nějaký řádek, ve kterém je "U=1" a "D=1".
Je to vlastně totéž jako se dělá u těch příkladů typu viníci. Mrkněte na ten příklad s medvědem, vlkem a liškou... Zadání se sice hodně odlišuje ale princip je stejný.
|