Quatro proposições p, q, r e s representam a validação de quatro condições de um protocolo lógico. Admita que todas as valorações admissíveis devem satisfazer simultaneamente as premissas (p v q) → r, r → (s ↔ ¬q), ¬s → p e q v s. Uma fórmula é consequência lógica dessas premissas quando é verdadeira em toda valoração que satisfaz simultaneamente as quatro premissas. Analise as assertivas:
I. q → p é consequência lógica das premissas.
II. p → r é consequência lógica das premissas.
III. r ↔ p é consequência lógica das premissas.
IV. As quatro premissas são satisfeitas por exatamente três valorações de p, q, r e s.
V. ¬r → (¬p ^ ¬q ^ s) é consequência lógica das premissas.
Assinale a alternativa que apresenta apenas as assertivas CORRETAS.