“Se eu não especifico as condições iniciais, meu programa não roda. Se eu cometo ‘loop infinito’, meu programa não termina. Se o programa não roda ou se ele não termina, então o programa falha. Portanto, se o programa não falha, então eu especifiquei as condições iniciais e não cometi ‘loop’ infinito.” Com base nessas informações, resolva os itens que seguem: A) Escreva o argumento apresentado na linguagem do cálculo proposicional. B) Prove sua validade usando o método dedutivo.