Daher: $ x \mid 0 $ ist **immer wahr**, und $ P $ ist nicht universell wahr, aber $ P \Rightarrow Q $ ist aufgrund $ Q $ wahr. - Crosslake