Zdroj TeX:

[(5. \wedge 6.) \Rightarrow 4.] \Rightarrow 1.