Frag nicht: “Ist p wahr, oder falsch?”, || sondern: “Soll ich schreiben ‘⊢ p’, oder ‘⊢ ~p’?” – Und darauf wird oft || manchmal die Antwort sein: “Das kommt drauf an, was Du mit dem Satz machen willst”.