Um grupo de analistas desenvolveu um programa capaz de verificar automaticamente propriedades de proposições lógicas utilizadas em rotinas de validação de dados. Entre os testes realizados, foi analisada a proposição P v ¬P, conhecida por apresentar comportamento específico em qualquer atribuição de valores lógicos. Analise as assertivas. 

I. A proposição é verdadeira quando P é verdadeira. 
II. A proposição é verdadeira quando P é falsa. 
III. A proposição é uma tautologia. 
IV. A proposição pode assumir valor falso. 

Assinale a alternativa que apresenta apenas as proposições CORRETAS.