Wait: In der Logik gilt: Falls $ Q $ ist **wahr**, dann ist $ P \Rightarrow Q $ **immer wahr**, unabhängig von $ P $.