\v=2
\v~=Und David sprach zu Achis: So sollst du denn auch erfahren was dein Knecht tun wird. Und Achis sprach zu David: So will ich dich denn zum Hüter meines Hauptes setzen alle Tage.
\¬v
\¬p