Question

Árvore de refutação é um método para verificar a validade de um argumento, análogo à demonstração por absurdo, em que para testarmos a validade de um argumento construímos uma lista de fórmulas consistindo de suas premissas. A respeito desse método, analise as afirmativas a seguir: I – Se ao término da ramificação da árvore de refutação todos os ramos ficarem abertos, então o argumento é válido; II – Os ramos da árvore de refutação são desenvolvidos até que, em cada um dos ramos, reste apenas uma proposição composta ou a bicondicional de uma proposição simples; III – O ramo é considerado fechado quando contém uma proposição e sua negação. IV – Os ramos da árvore de refutação são desenvolvidos até que, em cada um dos ramos, reste apenas uma proposição simples ou a negação de uma proposição simples; Estão corretas as afirmativas:

Answer 1

Resposta O ramo é considerado fechado quando contém uma proposição e sua negação. (Correto)
Os ramos da árvore de refutação são desenvolvidos até que, em cada um dos ramos, reste apenas uma proposição simples ou a negação de uma proposição simples. (Correto)