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: