Pergunta 18 (1 ponto) No desenvolvimento de algoritmos críticos para sistemas embarcados utilizados em aeronaves, os engenheiros precisam garantir que as instruções sigam sequências lógicas rigorosamente definidas e livres de ambiguidade. Essa exigência faz com que o uso da lógica proposicional, combinada a princípios de inferência e tabelas verdade, seja importante para validar as expressões utilizadas em estruturas de decisão, verificação de segurança e diagnóstico de falhas. Ao trabalhar com proposições compostas, conectivos lógicos e operadores booleanos, a precisão na construção e análise das fórmulas impacta diretamente a robustez do sistema. Considerando os fundamentos da lógica proposicional no contexto da computação, avalie as afirmativas a seguir. I) O bicondicional p ↔ q é logicamente equivalente à conjunção (p → q) ∧ (q → p). II) A negação da proposição condicional p → q pode ser expressa por ¬p ∨ ¬q, representando os casos em que a implicação não ocorre. III) Se uma proposição composta é tautológica, ela será verdadeira para qualquer combinação de valores das proposições simples que a compõem. IV) Uma contradição é uma proposição composta que apresenta valor lógico falso quando as proposições simples que a compõem são verdadeiras simultaneamente. É correto o que se afirma em Opções da pergunta 18: A) I e III, apenas. B) I e IV, apenas. C) II e III, apenas. D) I, II e III, apenas. E) I, II, III e IV.