A lógica se desdobra na análise das proposições, argumentos, conectivos, equivalências, implicações, a fim de verificar se uma afirmação é verdadeira ou falsa. Analise as afirmativas abaixo:

I. A disjunção é verdadeira desde que pelo menos uma das proposições seja verdadeira.

II. A proposição "r ↔ s" é falsa quando "r" e "s" são ambas verdadeiras ou ambas falsas e falsa quando "r" e "s" têm valores lógicos distintos.

III. A implicação é verdadeira quando o antecedente "x" é falso qualquer que seja o consequente "y". Esta situação pode ilustrar-se com a implicação "se cinco mais sete são quinze então a lua é de cristal" que é verdadeira uma vez que o antecedente é falso.

IV. A conjunção de duas proposições é falsa somente quando as duas proposições forem simultaneamente verdadeiras.

Assinale a alternativa CORRETA.