ATIVIDADE 1 - LÓGICA PARA COMPUTAÇÃO - 53/2023
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 H1, H2, H3, ..., Hn e T em que H1, H2, H3, ..., Hn 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ê: “H1, H2, H3, ..., Hn acarreta em T”, “H1, H2, H3, ..., Hn infere T” ou “H1, H2, H3, ..., Hn 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.
