\p
\v=16
\v~=“ஒருவன் ஒரு மனிதனைத் திருடி விற்றுப்போட்டாலும், இவன் அவனிடம் கண்டுபிடிக்கப்பட்டாலும், அவன் நிச்சயமாகக் கொலைசெய்யப்படவேண்டும்.
\¬v
\¬p