A lógica matemática para verificar se uma afirmação é verdadeira ou falsa, se desdobra na análise das proposições, argumentos, conectivos, equivalências, implicações. Sobre os conhecimentos de lógica, analise as afirmativas a seguir:

I - A proposição “a ⇔ b” é falsa quando “a” e “b” são ambos verdadeiras ou ambos falsas e falsa quando “a” e “b” têm valores lógicos distintos.
II - A implicação (representada pelo símbolo →) é verdadeira quando o antecedente “p” é falso qualquer que seja o consequente “q”. Esta situação pode ilustrar-se com a implicação “se oito mais oito são vinte então as nuvens são de algodão” que é verdadeira uma vez que o antecedente é falso.
III - A conjunção (representada pelo símbolo ^) de duas proposições é falsa somente quando as duas proposições forem simultaneamente verdadeiras;
IV - A disjunção (representada pelo símbolo v) é verdadeira desde que pelo menos uma das proposições seja verdadeira.

Assinale a alternativa correta: