\v=17
\v~=My God shall cast them away, Because they have not hearkened to him, And they shall be wanderers among the nations. 
\¬v
\¬p
\¬c