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.
tag: ATIVIDADE 1 – LÓGICA PARA COMPUTAÇÃO – 53/2023
