Buscar

De acordo com a fórmula p Λ (p → q) ==> q, qual alternativa abaixo está CORRETA em relação as regras de inferência desta implicação lógica? A fórm...

De acordo com a fórmula p Λ (p → q) ==> q, qual alternativa abaixo está CORRETA em relação as regras de inferência desta implicação lógica?

A fórmula p Λ (p → q) ==> q representa a regra de inferência Modus Ponens.
Adição
Simplificação
Modus Ponens
Silogismo hipotético
Modus Tollens

Essa pergunta também está no material:

MATEMATICA E LOGICA - TESTE DE CONHECIMENTO 4 - R
3 pág.

Informática I Centro Universitário Unifanor WydenCentro Universitário Unifanor Wyden

Respostas

User badge image

Ed Verified user icon

A alternativa correta é "Modus Ponens". A fórmula p Λ (p → q) ==> q representa a regra de inferência Modus Ponens, que é uma das regras básicas da lógica proposicional. O Modus Ponens é usado para inferir uma conclusão a partir de duas premissas, onde a primeira premissa é uma proposição condicional e a segunda premissa é a afirmação da antecedente da proposição condicional.

0
Dislike0
User badge image

Calm Informática

A opção “Modus Ponens” está correta. A fórmula p Λ (p → q) ==> q representa a regra de inferência Modus Ponens na lógica proposicional. Esta regra afirma que se temos uma implicação e sabemos que o antecedente é verdadeiro, então podemos concluir que o consequente também é verdadeiro. 

0
Dislike0

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

Responda

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

Mais conteúdos dessa disciplina