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 09. 11. 2015 21:56

crank139
Příspěvky: 335
Reputace:   
 

výroková logika

Zdravim, je nejako možné dokázať pravdivosť tejto vety alebo je možné s ňou ešte pracovať?
//forum.matweb.cz/upload3/img/2015-11/02128_Bez%2Bn%25C3%25A1zvu.png

V prepise tam je:
Emitent zodpovedá za škodu, ktorá vznikne uskutočňovaním premeny listinného cenného papiera, ibaže ju spôsobil niekto iný.

Ja by som to zapísal takto:
$\Phi \Leftarrow \neg\alpha $
čo by malo byť ekvivaletné tomuto:
$\neg\alpha \Rightarrow \Phi $
že? čo s tým môžem robiť ďalej? ďakujem

Offline

 

#2 10. 11. 2015 00:35

misaH
Příspěvky: 13467
 

Re: výroková logika

Tá veta nemá zmysel.

Offline

 

#3 10. 11. 2015 07:58

jelena
Jelena
Místo: Opava
Příspěvky: 30020
Škola: MITHT (abs. 1986)
Pozice: plním požadavky ostatních
Reputace:   100 
 

Re: výroková logika

Zdravím,

↑ crank139: věta říká, že "A zodpovídá za škodu tehdy a jen tehdy, když tuto škodu způsobí někdo jiný (ne A)". Což vyloučit nemůžeme, jelikož zodpovědnost za škodu není v rozporu s činem "způsobit škodu".
Samotnou větu bych viděla jako ekvivalenci.

Podstatné ale je, jaký text větě předcházel. Např. Emitent je natolik jistý systémem ochrany operací s cennými papíry, že si nechá u pojišťovny XY pojistit odpovědnost za škody způsobené vlastním přičiněním (vlastní zaměstnanec chybně vloží operaci, při interním zpracování operace selže síť apod.). Potom za takové "vlastní škody emitenta" nese zodpovědnost pojišťovna XY. Emitent však nepojistí škody "z venku", protože si moc věří a potom odpovídá pouze za takové škody, které mu způsobí někdo jiný, kdo dokáže prolomit jeho úžasný bezpečnostní systém.

Bez úvodního textu se o tomto samotném tvrzení, zda je pravdivé nebo ne, nejde rozhodnout. Byl k tomuto úvodní text? Děkuji.

Offline

 

#4 10. 11. 2015 10:05 — Editoval crank139 (10. 11. 2015 10:11)

crank139
Příspěvky: 335
Reputace:   
 

Re: výroková logika

nebol v tom úvodny text a mám to len z poznámiek kde sme pokračovali takto:
1.$\Phi \Leftarrow \neg\alpha $
2.$\alpha _{1}\Rightarrow \Phi \Leftarrow \neg\alpha _{2}$
3.$\alpha _{1}$
-------------------------------------------
$\Phi \Leftarrow \neg\alpha _{2}$
$\neg\alpha _{2}\Rightarrow \Phi $
$\neg\alpha _{2}$
$\Phi $
nejako sa neviem s toho vysomáriť a bez toho aby som k tomu prišiel sa neviem pohnúť ďalej, vlastne len neviem ako sme sa dostali k druhej vete, možno mi tam chýbajú aj zátvorky no tak či tak neviem ako sa ta veta tam vyrobila, zbytok dokazovania mi už zmysel dáva. ďakujem

Offline

 

#5 10. 11. 2015 12:17

jelena
Jelena
Místo: Opava
Příspěvky: 30020
Škola: MITHT (abs. 1986)
Pozice: plním požadavky ostatních
Reputace:   100 
 

Re: výroková logika

↑ crank139:

Zdravím,

zkusila jsem větu zadat do google, zda mi nevypadne podrobnější zadání (z testu nebo odkud) a vypadlo mi přímo znění zákonu, kde ta věta je 600/1992 Zb. (2. odstavec paragrafu 9), netvrdím, že jsem našla platnou verzi.

Ale to nic nemění na faktu, že také nevím, co s úlohou můžeš dělat - zda jen zapsat ve formě výroku (Ty máš implikaci, já ve znění "ibaže" vidím ekvivalenci), udělat k tomu negaci? rozebrat na atomární výroky? . Opravdu nevím, co jste mohli s úlohou dělat a jaká byla úloha. Pokud to nerozluští někdo z kolegů, tak nejlepší se poptat ve škole. Ať se podařím.

Offline

 

#6 10. 11. 2015 12:58 — Editoval misaH (10. 11. 2015 13:12)

misaH
Příspěvky: 13467
 

Re: výroková logika

Emitent zodpovedá za škodu, ale keby ju spôsobil niekto iný tak nezodpovedá.

(= okrem prípadu, že ju spôsobil niekto iný)

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson