ATIVIDADE 1 – LÓGICA PARA COMPUTAÇÃO – 53/2023

QUESTÃO 1

A validação de argumentos pode ser feita por meio de tabela verdade, ou pelo método dedutivo, o qual é mais rápido e eficiente em relação àquele que emprega a tabela verdade. Com o uso do método dedutivo podemos chegar a conclusões, por meio do uso de uma ou mais proposições.

Define-se um argumento como uma sequência finita de n+1 proposições, denominadas por H₁, H₂, H₃, …, H_n e T em que H₁, H₂, H₃, …, H_n são denominadas premissas e T é denominada consequência (conclusão ou tese). Um argumento de premissas e conclusão é denotado por:

​onde se lê: “H₁, H₂, H₃, …, H_n acarreta em T”, “H₁, H₂, H₃, …, H_n infere T” ou “H₁, H₂, H₃, …, H_n deduz T”.

Considere o argumento a seguir:

“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.

– Acesse o link com um vídeo tutorial para ajudá-lo nesse processo de criação e desenvolvimento. O acesso deverá ser realizado em: Materiais >> Material da Disciplina.
– Lembre-se de que evidências de cópias de materiais, incluindo de outros acadêmicos, sem devidas referências, serão inquestionavelmente zeradas. As citações e referências, mesmo que do livro da disciplina, devem ser realizadas conforme normas da Instituição de Ensino.
– Não são permitidas correções parciais no decorrer do módulo, ou seja, o famoso: “professor, veja se minha atividade está certa?”. Isso invalida seu processo avaliativo. Lembre-se de que a interpretação da atividade também faz parte da avaliação.
– Procure sanar suas dúvidas junto à mediação em tempo hábil sobre o conteúdo exigido na atividade, de modo que consiga realizar sua participação.
– Realize sua resposta em um editor de textos (como possui símbolos na resposta, precisa elaborar sua atividade  em um editor de texto e depois colar no campo da atividade). Existem vários grátis e que funcionam diretamente no navegador, como o Google Docs, ou pode usar o Word e depois colar no campo da atividade.
 – Sua resposta deve ser inserida diretamente no quadro disponível no campo da Atividade de Estudo 1 (não é permitido anexar formulário). 
– Atenção ao prazo de entrega, evite envio de atividade em cima do prazo. Você pode ter algum problema com internet, computador, software etc., e os prazos não serão flexibilizados, mesmo em caso de comprovação.