Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

#1 31. 03. 2008 15:21

Martas
Zelenáč
Příspěvky: 12
Reputace:   
 

Ověření platnosti úsudků pomocí rezoluční metody

Zdravím Vás,
potřeboval bych pomoct vyřešit následující příklady. Budu vděčný za každé řešení nebo komentář. Předem děkuji

Příklad 15: Ověřte platnost následujících úsudků pomocí rezoluční metody:

1.
Kdo zná Marii i Jiřího, ten Marii lituje.
Někteří nelitují Marii, ačkoliv ji znají.
-----------------------------------------------------
Někdo zná Marii, ale ne Jiřího.


2.
Všichni členové vedení jsou majiteli obligací nebo akcionáři.
Žádný člen vedení není zároveň majitel obligací i akcionář.
Všichni majitelé obligací jsou členy vedení.
-----------------------------------------------------
Žádný majitel obligací není akcionář.

Offline

 

#2 31. 03. 2008 15:51

Lishaak
Veterán
Místo: Praha
Příspěvky: 763
Reputace:   
Web
 

Re: Ověření platnosti úsudků pomocí rezoluční metody

Rezolucni metoda, to je nejaka specialni metoda, na reseni takovychto prikladu? Ja osobne bych je proste rozresil uvahou:

1.
Kdo Marii nelituje a presto ji zna, nutne nemuze znat oba dva, protoze pak by ji musel litovat. Ale protoze zna Marii, tak musi neznat Jiriho. Druha veta prikladu nam navic zarucuje, ze takovy clovek existuje aspon jeden. Tedy tvrzeni plati.

2.
Prvni vyrok vubec nepotrebujeme. Vime, ze vsichni majitele jsou cleny vedeni, ale nikdo z vedeni nemuze byt zaroven majitel obligaci a akcionar. Tedy zadny majitel obligaci nemuze byt akcinar.

Kdo rozumite te rezolucni metode, tak sem prosim napiste reseni pomoci ni, sam opravdu nevim, co to je.


Nothing in the world that's worth having comes easy.
Always do what you are most afraid of.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson