Analise cada uma das afirmativas a seguir.

I- Chama-se negação de uma proposição p a proposição que tem valor lógico verdadeiro quando p é falsa e valor lógico falso quando p é verdadeira. 
II- Chama-se implicação entre duas proposições p e q a proposição que é falsa  apenas quando p é verdadeira e q é falsa. 
III- O valor lógico da bicondicional entre duas proposições p e q é verdadeiro se, e somente se, p e q tiverem o mesmo valor lógico. 
IV- A negação de uma implicação entre duas proposições p e q é logicamente equivalente à conjunção de p e a negação de q. 

É CORRETO o que se afirma em: