I A negação de uma proposição p é representada por ~ p
II A conjunção de duas proposições p e q é representada por p V q
III A disjunção de duas proposições p e q é representada por p 7 q
IV A proposição condicional é representada por p !$ \rightarrow !$ q

Acerca das operações lógicas de I a IV apresentadas acima, julgue o seguinte item.

A tabela verdade da proposição !$ P ( p,q) = ( p \rightarrow q) \rightarrow p\,\wedge\,q !$ é mostrada corretamente a seguir.