\v=9
\v~=(kwa kuwa mpaka wakati huo walikuwa bado hawajaelewa kutoka Maandiko kwamba ilikuwa lazima Yesu afufuke kutoka kwa wafu).
\¬v
\¬p