ATIVIDADE 1 - LÓGICA PARA COMPUTAÇÃO – 532023

ATIVIDADE 1 - LÓGICA PARA COMPUTAÇÃO – 532023

Entre em contato com a nossa equipe que vamos assessorar com esse trabalho

Mais de 10 anos no mercado acadêmico 

=================MV-ASSESSORIA==========================
CONTATO
Entre em contato com a nossa equipe que vamos assessorar com esse trabalho

(15)98170-8778

Tele gram.:( 15) 98170-8778 - 

E-MAIL: Mvf5system@gmail.com

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.