Matematické Fórum

Ahoj, potřeboval bych "zkonzultovat" řešení následujícího příkladu:
Pokud bude o víkendu hezky, budeme večer grilovat. Pokud o víkendu nebude hezky, půjdeme do muzea.
Úkolem je zvolit pravdivé tvrzení:
a) pokud budeme večer grilovat, pak jsme nebyli v muzeu
b) pokud jsme večer negrilovali, tak jsme šli do muzea
c) pokud jsme šli do muzea, tak večer nebudeme grilovat

Postupoval jsem takto:

bude hezky [mathjax]\Rightarrow [/mathjax] budeme grilovat;
¬(bude hezky) [mathjax]\Rightarrow [/mathjax] půjdeme do muzea;
poté musí platit, že:
(bude hezky [mathjax]\Rightarrow [/mathjax] budeme grilovat) [mathjax]\Leftrightarrow [/mathjax] (¬(budeme grilovat) [mathjax]\Rightarrow [/mathjax] ¬(bude hezky))
z toho by mělo vyplynout, že:
(bude hezky [mathjax]\Rightarrow [/mathjax] budeme grilovat) [mathjax]\Leftrightarrow [/mathjax] (¬(budeme grilovat) [mathjax]\Rightarrow [/mathjax] (půjdeme do muzea))

Proto bych zvolil odpověď b). Jen si nejsem jistý, zdali má uvažoval správně. Díky za případné rady.