Lista de Exercicios - Logica Matematica - Arvore de Decisao, Resolucao, Deducao Natural e Inducao

QUESTÃO 1 Obtenha por árvoremétodo de decisão os esquemas de modelos da fbf a seguir ACADABDDBC QUESTÃO 2 Prove que o argumento abaixo é válido usando a técnica de resolução de cláusulas junto com a refutação EA EC BC BEDAD QUESTÃO 3 Prove que o argumento é válido usando somente as regras de dedução natural silogismo disjuntivo modus tollens e silogismo hipotético Não use Resolução AB PQAPBQBPABAP QUESTÃO 4 β1 β2 β3 x Bx x Bx TxMx y TyMySy Prove que o argumento é válido ou apresente um contraexemplo β1 β2 β3 x Tx z Sz QUESTÃO 5 Prove por indução matemática que para qualquer n inteiro positivo k1 to n k2k n12n12 QUESTÃO 6 Obtenha a fórmula fechada da relação de recorrência abaixo T11 e TnTn1nn21 para n1 Fórmulas úteis para uma solução completa Para nN i1 to n i nn12 i1 to n i² nn12n16 i1 to n i³ n²n1²4