\v=17
\v~=My God will cast them away, because they did not obey him: and they shall wander among the nations. 
\¬v
\¬p
\¬c