Z premis může vyplývat jen to, co je v nich obsaženo

8. prosince 2008 v 23:38 | Gilnien |  Ze života
Tak mě zítra čeká zápočtová písemka z logiky a já toho zrovna moc neumím. Vykašlala jsem se kvůli učení na přednášky a mořim se tady s premisami a závěry, úplnými konjunktivními a disjunktivními formami, vyvozuji všechny možné premisy z jednoho závěru a všechny možné závěry z premis. A přitom si stačí pamatovat prý jednu kouzenlnou větu:
Z premis může vyplývat jen to, co je v nich obsaženo!

Určete, zda úsudek platí:
p1: Prší a sněží.
p2: Jestliže prší, tak nesněží.
z: Nesněží.

a) tabulkou:
p1: p ˅ s
p2: p =>˥ s
z: ˥ s

p
s
˥ sp ˅ sp =>˥ s
0
0
1
0
1
0
1
0 :-(
1
1
1
0
1 :-)
1
1
1
1
0 :-(
1
1
úsudek neplatí


b) ekvivalentní úpravou
(p ˅ s) ˄ (p =>˥ s) => ˥ s

˥ s = 0
p = 0
p ˅ s je 0 nebo 1 a to je 1, takže nenastal spor a úsedek neplatí!


Ale to jsou ty lehčí části...

Určete ze závěru všechny premisy:
˥ s => t
převedu na: s ˅ t
(s ˅ t) => (s ˅ t)
kombinuji:
1. (˥ s ˅ t)
2. (˥ s ˅ ˥ t)
3. (s ˅ ˥ t)
všechny možné premisy jsou:
(s ˅ t)
(s ˅ t) ˄ (˥ s ˅ t)
(s ˅ t) ˄ (˥ s ˅ ˥ t)
(s ˅ t) ˄ (s ˅ ˥ t)
(s ˅ t) ˄ (˥ s ˅ t) ˄ (˥ s ˅ ˥ t)
(s ˅ t) ˄ (˥ s ˅ t) ˄ (s ˅ ˥ t)
(s ˅ t) ˄ (s ˅ ˥ t) ˄ (˥ s ˅ ˥ t)
(s ˅ t) ˄ (˥ s ˅ t) ˄ (˥ s ˅ ˥ t) ˄ (s ˅ ˥ t)

Určete všechny možné závěry z premis:
p1: (o => p)
p2: (o ˅ p ˅ q)
upravíme: (˥o ˅ p) ˄ (o ˅ p ˅ q)
uděláme z toho ÚNCF: (˥o ˅ p ˅ q) ˄ (˥o ˅ p ˅ ˥q) ˄ (o ˅ p ˅ q)
Závěry jsou:
(˥o ˅ p ˅ q)
(˥o ˅ p ˅ ˥q)
(o ˅ p ˅ q)
(˥o ˅ p ˅ q) ˄ (˥o ˅ p ˅ ˥q)
(˥o ˅ p ˅ ˥q) ˄ (o ˅ p ˅ q)
(˥o ˅ p ˅ q) ˄ (o ˅ p ˅ q)
(˥o ˅ p ˅ q) ˄ (˥o ˅ p ˅ ˥q) ˄ (o ˅ p ˅ q)

Určete, zda jde o tautologii, kontradikci či splnitelnou:
(p ˄ q) => [(q => r) => (p ˄ r)]


p
q
r
p ˄ qq => rp ˄ r(q => r) => (p ˄ r)(p ˄ q) => [(q => r) => (p ˄ r)]
0
0
0
0
1
0
0
1
0
0
1
0
1
0
0
1
0
1
0
0
0
0
1
1
0
1
1
0
1
0
0
1
1
0
0
0
1
0
0
1
1
0
1
0
1
1
1
1
1
1
0
1
0
0
1
1
1
1
1
1
1
1
1
1

=tautologie
 

Buď první, kdo ohodnotí tento článek.

Komentáře

1 Kikina Kikina | 9. prosince 2008 v 19:47 | Reagovat

Tak to já znám jenom tautomery - chemické izomery. Sakra, netušila jsem, že je to tak příšerně komplikované. Přitom když nasněží, tak ani neprší a basta :-)

2 Gil Gil | 11. prosince 2008 v 21:04 | Reagovat

Hele.. zas tak komplikovaný to neni... Písemku mám s plným počtem bodů.

3 Kikina Kikina | 12. prosince 2008 v 16:32 | Reagovat

Ale ostatním jsi to musela vysvětlovat :-)

4 Kilian Kilian | Web | 1. září 2017 v 20:18 | Reagovat

Lekce kytary NaNastroj.cz jsou super

5 Hovedo Hovedo | Web | 1. září 2017 v 20:46 | Reagovat

Fakt?

6 Barman Barman | Web | 9. září 2017 v 22:47 | Reagovat

Jaka je nejlepsi skola kytary

7 Barman Barman | Web | 9. září 2017 v 23:29 | Reagovat

Skola kytary

8 Bart Bart | Web | 10. září 2017 v 13:09 | Reagovat

Jeste, ze hrajeme vsichni na kytaru...

9 Sandokan Sandokan | Web | 23. září 2017 v 17:29 | Reagovat

To je moc zajimave

10 Pivko Pivko | Web | 23. září 2017 v 17:55 | Reagovat

Doporucte mi nejake kytarove lekce

11 Verca Verca | Web | 28. září 2017 v 6:40 | Reagovat

Bez kytary to nejde

Nový komentář

Přihlásit se
  Ještě nemáte vlastní web? Můžete si jej zdarma založit na Blog.cz.