Aussagenlogik/Ableitungsbeziehung/Implikationen/Aufgabe

Es sei ${}\Gamma \subseteq L^{V}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik

zu einer Aussagenvariablenmenge ${}V$. Es gelte ${}p\rightarrow q\in \Gamma$ und ${}q\rightarrow r\in \Gamma$. Folgt daraus ${}p\rightarrow r\in \Gamma$?

Eine Lösung erstellen