Matematické Fórum

ln x · 08. 03. 2012 13:32 — Editoval ln x (08. 03. 2012 13:33)

Ahoj,

tentokrát ma zaujíma táto vec:

"Nakonec zbývají případy, kdy je první výrok nepravdivý. V takovém případě nás už pravdivost druhého výroku nezajímá. Pokud vycházíme z nepravdy, můžeme dál blábolit co chceme. Jsou to věty typu „jestliže je 1 záporné číslo, pak jsme čínský bůh srandy“ nebo „jestliže jsou Beatles známá stavební firma, pak je slunce modré." V takových případech je implikace automaticky pravdivá, protože zkrátka vychází z nepravdy."

Citované z http://www.matweb.cz/pravdivost-formuli

Mohol by mi prosím vás niekto vysvetliť toto tvrdenie? Prečo je v týcho prípadoch implikácia automaticky pravdivá?

Ďakujem.

Rumburak

↑ ln x:
Protože tak je to stanoveno definicí.
Implikace $A \Rightarrow B$ říká pouze to, jaké důsledky bude mít splnění výroku $A$ ,
zatímco situaci, kdy výrok $A$ nebude splněn, neřeší.

Je to obdobné jako u podmíněných slibů:
Když uděláš A, já (Ti slibuji, že) udělám B.
(Když neuděláš A, pak nejsem ničím vázán a závisi jen na mě, zda udělám B nebo ne.)

ln x · 08. 03. 2012 13:51

↑ Rumburak:

Ďakujem za odpoveď.

Matematické Fórum

#1 08. 03. 2012 13:32 — Editoval ln x (08. 03. 2012 13:33)

Implikácia a pravdivostná tabuľka

#2 08. 03. 2012 13:44 — Editoval Rumburak (08. 03. 2012 13:45)

Re: Implikácia a pravdivostná tabuľka

#3 08. 03. 2012 13:51

Re: Implikácia a pravdivostná tabuľka

Zápatí