<a> tak usilovně jsem se učil, až mě nakonec vzbudil velmi prostorově výrazný zvuk blesku :D
<b> teda slyšet tě pan docent Rusňák, tak by tě asi klep :D blesk přece nezní...to je zvuk hromu :-P
<a> pokud vím tak hrom je důsledek blesku a, pak musí platit formule že blesk -> hrom && hrom -> zvuk, pak musí na základě axiomu platit že (hrom -> zvuk) -> (blesk -> (hrom -> zvuk) ), což se dá přepsat jako blesk -> (hrom -> zvuk) -> ((blesk -> hrom) -> (blesk-> zvuk)), čehož platí formule (blesk -> hrom) -> (blesk -> zvuk) a tim padem mame dokazano ze blesk -> zvuk. Aneb Modus ponens pyčo!

Komentář: při učení na státnice :)