Tendo-se em conta que R é uma tautologia e que S é uma fórmula qualquer, analise as implicações a seguir e diga quais são verdadeiras.

i) Se \( S \leftrightarrow R \) é uma tautologia, S é uma tautologia.

ii) Se \( R \cup S \) é uma tautologia, então S é uma tautologia.

iii) Se \( R \rightarrow S \) é uma tautologia, então S é uma tautologia.

iv) Se \( S \vee R \) é uma tautologia, então S é uma tautologia.