Os operadores lógicos são elementos essenciais no estudo do raciocínio lógico e da matemática, permitindo a construção e análise de proposições complexas a partir de proposições simples. Estes operadores, incluindo conjunção, disjunção, negação e condicional, formam a espinha dorsal da lógica proposicional. Julgue as seguintes afirmativas sobre operadores lógicos:

I - A conjunção de duas proposições verdadeiras sempre resulta em uma proposição verdadeira.
II - A disjunção exclusiva é verdadeira apenas quando ambas as proposições têm o mesmo valor de verdade.
III - A negação de uma proposição verdadeira resulta em uma proposição falsa.
IV - O condicional (implicação) é falso somente quando o antecedente é verdadeiro e o consequente é falso.

Assinale a alternativa correta: