Matematické Fórum

J0NY · 20. 10. 2009 20:07 — Editoval J0NY (20. 10. 2009 20:14)

Prišiel som na výrok:

"Ak sneží,tak nesneží." Logickým uvažovaním je jasné že je to blud ale poďme na to matematicky:

A = sneží
A' = nesneží.

A => A'

Code:

       A             A'              A => A'
       1             0                   0
       0             1                   1

A teraz nastáva otázka: "Kedy nastane druhý prípad?"
Resp. "Je tento výrok pravdivý?"

V skutočnom živote neexistuje vo vesmíre miesto kde by na jednom mieste sa odohrávali protichodné deje...Pokiaľ ale by sme brali aj dážď so snehom ako sneh potom je tento skutočne reálny a možný.

Oxyd · 20. 10. 2009 21:40

Ten výrok o případu, že nesněží, vůbec nic neříká -- takže v tom případě je pravdivý. Ovšem pokud sněží, tak musí být splněný i závěr -- tedy že nesněží -- pokud vynecháme meteorologické anomálie a zůstaneme v krajině zdravého rozumu, tak tvůj výrok v tomhle případě neplatí. Což je přesně to, co říká tvoje tabulka.

J0NY · 20. 10. 2009 21:56

To ano...pokiaľ by sme fakticky chceli ísť do piky (špiku) tak by trebalo zadefinovať sneh (mrholí alebo je to fujavica?, teplota <> 0 ?, mokrá pôda ?,...atp.)...Celkom zaujímavé na zamyslenie ;)...Neviem či neexistuje nejaká skupina extra nemožných výrokov :D ale toto by tam patrilo...

Oxyd · 21. 10. 2009 01:31

Nemožných výroků? Myslíš nepravdivých? Nepravdivý výrok najdeme snadno -- třeba "8 je prvočíslo" je hezký nepravdivý výrok. Pokud myslíš nějaký výrok, který není pravdivý v žádném ohodnocení, tak i ten se určitě najde -- například $\neg \left( a \rightarrow a \right)$ , ne?

J0NY · 21. 10. 2009 19:36 — Editoval J0NY (21. 10. 2009 19:42)

No výroky typu A => A' je vždy nelogický tj. Ak sneží, tak nesneží. Ak prší, tak neprší. Ak fúka, tak nefúka. Ak sa blýska, tak sa neblýska atp.

Resp:

Implikácia je nepravdivá IBA AK je prvý výrok pravdivý a druhý nepravdivý.

A tu nastáva diskutabilný problém:

Code:

      A        A'      A=>A'
      0        1          1

Tu vzniká problém, že implikácia je pravdivá aj keď je výrok nelogický.

Oxyd · 21. 10. 2009 21:38

↑ J0NY:
Co myslíš slovem „nelogický“? Logicky je zcela v pořádku. Myslíš „nesmyslný“? Smyslem se zabívají jiné vědy, ne matematika. xD (Např. filosofie.)

halogan · 21. 10. 2009 21:56

↑ J0NY:

Proč je nelogický?

Neprší -> Neprší.

Z toho, že neprší (A = 0) plyne, že neprší (A').

Matematické Fórum

#1 20. 10. 2009 20:07 — Editoval J0NY (20. 10. 2009 20:14)

Ak sneží, tak nesneži...alebo logický nezmysel?

Code:

#2 20. 10. 2009 21:40

Re: Ak sneží, tak nesneži...alebo logický nezmysel?

#3 20. 10. 2009 21:56

Re: Ak sneží, tak nesneži...alebo logický nezmysel?

#4 21. 10. 2009 01:31

Re: Ak sneží, tak nesneži...alebo logický nezmysel?

#5 21. 10. 2009 19:36 — Editoval J0NY (21. 10. 2009 19:42)

Re: Ak sneží, tak nesneži...alebo logický nezmysel?

Code:

#6 21. 10. 2009 21:38

Re: Ak sneží, tak nesneži...alebo logický nezmysel?

#7 21. 10. 2009 21:56

Re: Ak sneží, tak nesneži...alebo logický nezmysel?

Zápatí