Aussagenlogik/Kompaktheitssatz
Wenn \( \phi \rightarrow \psi \vDash \vartheta \rightarrow \eta \), dann \( \psi \vDash \eta \)
Stimmt diese Aussage? Ich finde leider kein Gegenbeispiel.
