Es sei Γ ⊆ L V {\displaystyle {}\Gamma \subseteq L^{V}} eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge V {\displaystyle {}V} . Es gelte p → q ∈ Γ {\displaystyle {}p\rightarrow q\in \Gamma } und q → r ∈ Γ {\displaystyle {}q\rightarrow r\in \Gamma } . Folgt daraus p → r ∈ Γ {\displaystyle {}p\rightarrow r\in \Gamma } ?
