Na lógica proposicional, as proposições lógicas simples são comumente representadas por letras maiúsculas. Além disso, são utilizados os conectivos lógicos ˄ (conjunção), ˅ (disjunção), ⇒ (condicional), ⇔(bicondicional) e ¬ (negação) para a construção de proposições compostas. Nesse contexto, analise as afirmativas a seguir. 

I. A proposição composta (Q ˄ (P ⇒ Q)) ⇒ P ˅ Q é uma tautologia.
II. O número de linhas da tabela verdade da proposição composta (P ˄ Q) ⇒ R é 8.
III. A proposição composta (P ˅ Q) → ¬ (P ˅ Q) é uma contradição.
IV. A contingência é uma função lógica que é sempre falsa para quaisquer valores de suas variáveis proposicionais.

Está correto o que se afirma apenas em