Buscar

a valoração falsifica a fórmula, ora ser valoradas em 1, em cujo caso a valoração satisfaz a fórmula. Estes fatos motivam a classificação das fórmu...

a valoração falsifica a fórmula, ora ser valoradas em 1, em cujo caso a valoração satisfaz a fórmula. Estes fatos motivam a classificação das fórmulas de acordo com o seu comportamento diante de todas as valorações possíveis de seus átomos. Um dos grandes desafios da computação é encontrar métodos eficientes para decidir se uma fórmula é satisfazível/ insatisfazível, ou se é válida/falsificável. Um dos primeiros métodos propostos na literatura para a verificação da satisfatibilidade e validade de fórmulas é o método da Tabela da Verdade. (SILVA; FINGER; MELO, 2017, p. 13) Com base em seu conhecimento de Tabela Verdade, analise as afirmativas a seguir: I. A quantidade de linhas necessárias para valorar as possíveis respostas em uma Tabela Verdade aumenta exponencialmente com a quantidade de proposições de acordo com a regra n2 . II. As respostas obtidas pela fórmula ¬ ∧ ( ) A B são iguais às respostas obtidas pela fórmula ( ) ¬ ∨A B¬ . 148 III.As respostas obtidas pela fórmula ¬ ∧A B são iguais às respostas obtidas pela fórmula A B ∧¬ .

💡 1 Resposta

User badge image

Ed Verified user icon

Vamos analisar cada afirmativa: I. A quantidade de linhas necessárias para valorar as possíveis respostas em uma Tabela Verdade aumenta exponencialmente com a quantidade de proposições de acordo com a regra n². Essa afirmativa está correta. Na construção de uma tabela verdade, a quantidade de linhas necessárias aumenta exponencialmente com o número de proposições, seguindo a regra n². II. As respostas obtidas pela fórmula ¬A ∧ B são iguais às respostas obtidas pela fórmula A ∨ B. Essa afirmativa está incorreta. As respostas obtidas pela fórmula ¬A ∧ B são diferentes das respostas obtidas pela fórmula A ∨ B. A primeira representa a negação de A e a conjunção com B, enquanto a segunda representa a disjunção de A e B. III. As respostas obtidas pela fórmula ¬A ∧ B são iguais às respostas obtidas pela fórmula A ∧ B¬. Essa afirmativa está correta. A ordem das proposições na conjunção não altera o resultado, então as respostas obtidas pela fórmula ¬A ∧ B são de fato iguais às respostas obtidas pela fórmula A ∧ B¬. Portanto, as afirmativas corretas são I e III.

0
Dislike0

✏️ Responder

SetasNegritoItálicoSublinhadoTachadoCitaçãoCódigoLista numeradaLista com marcadoresSubscritoSobrescritoDiminuir recuoAumentar recuoCor da fonteCor de fundoAlinhamentoLimparInserir linkImagemFórmula

Para escrever sua resposta aqui, entre ou crie uma conta

User badge image

Outros materiais