A validação de argumentos pode ser feita por meio de tabela verdade, ou pelo método

Prévia do material em texto

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.
ATIVIDADE 1 - LÓGICA PARA COMPUTAÇÃO - 53/2023
ENTRE EM CONTATO CONOSCO
 (21) 99887-9815 (21) 99887-9815
 (21) 99887-9815
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.
OLÁ! SOMOS A HELP EDUCACIONAL! ELABORAMOS ESSE TRABALHO POR UM PREÇO ACESSÍVEL.
ENTRE EM CONTATO CONOSCO
 (21) 99887-9815
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.
 
ATIVIDADE 1
 
-
 
LÓGICA PARA COMPUTAÇÃO
 
-
 
53/2023
 
ENTRE EM CONTATO CONOSCO
 
 
(
21
)
 
9
9887
-
9815
 
(
21
)
 
9
9887
-
9815
 
 
(
21
)
 
9
9887
-
9815
 
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 é 
den
otado 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 co
ndiçõ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.
 
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. 
ATIVIDADE 1 - LÓGICA PARA COMPUTAÇÃO - 53/2023 
ENTRE EM CONTATO CONOSCO 
 (21) 99887-9815 (21) 99887-9815 
 (21) 99887-9815 
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.