Ahoj! To je skvělá otázka, která se dotýká základů logiky. Pojďme si to rozebrat.
Výrok "Pokud prší, ulice je mokrá" je klasická implikace. Můžeme si ji zapsat jako P → Q, kde:
* P je tvrzení "prší" (antecedent, předpoklad)
* Q je tvrzení "ulice je mokrá" (konsekvent, důsledek)
Tato implikace říká, že déšť je postačující podmínkou pro to, aby byla ulice mokrá. Jinými slovy, kdykoliv nastane situace P (prší), musí nutně nastat i situace Q (ulice je mokrá). Pokud by pršelo a ulice by nebyla mokrá (např. by byla pod stříškou), pak by původní výrok nebyl pravdivý.
Nyní se podívejme na výrok "Pokud je ulice mokrá, prší". Toto je tzv. obrácená implikace (konverze) původního výroku. Zapisuje se jako Q → P.
* Q je tvrzení "ulice je mokrá" (nyní antecedent)
* P je tvrzení "prší" (nyní konsekvent)
Tento výrok by znamenal, že mokrá ulice je postačující podmínkou pro to, aby pršelo. Tedy, kdykoliv je ulice mokrá, muselo by nutně pršet.
Proč první implikace neznamená druhou?
Protože mohou existovat jiné důvody, proč je ulice mokrá, i když zrovna neprší. Například:
- Kropící vůz: Město mohlo čistit ulice.
- Zavlažování: Někdo mohl zalévat trávník nebo květiny u silnice a voda stekla na ulici.
- Prasklé potrubí: Mohlo prasknout vodovodní potrubí.
- Mytí auta: Někdo si mohl na ulici mýt auto.
- Tání sněhu/ledu: Pokud předtím sněžilo nebo mrzlo, sníh či led může tát.
- Ranní rosa nebo kondenzace: Za určitých podmínek může být povrch mokrý i bez deště.
Původní výrok "Pokud prší, ulice je mokrá" připouští všechny tyto další možnosti. Říká jen, že déšť je jedním ze způsobů, jak ulice zmokne. Neříká, že je to jediný způsob.
Aby platilo "Pokud je ulice mokrá, prší", musel by déšť být nutnou podmínkou pro mokrou ulici (tj. ulice nemůže být mokrá, aniž by pršelo). Ale jak jsme viděli, existuje mnoho jiných příčin.
Shrnutí:
* "Pokud prší (P), ulice je mokrá (Q)" (P → Q): Déšť zaručuje mokrou ulici.
* "Pokud je ulice mokrá (Q), prší (P)" (Q → P): Mokrá ulice nezaručuje, že prší, protože mohou existovat jiné příčiny mokré ulice.
Proto původní implikace neimplikuje svou obrácenou verzi. V logice platí, že pravdivost P → Q nezaručuje pravdivost Q → P.