\p
\v=5
\v~=Ein treuer Zeuge lügt nicht, aber ein falscher Zeuge spricht Lügen aus.
\¬v
\¬p