Buscar

É possível provar a validade de um argumento conhecido como prova direta utilizando os instrumentos de implicações e equivalências tautológicas. Po...

É possível provar a validade de um argumento conhecido como prova direta utilizando os instrumentos de implicações e equivalências tautológicas. Por sua vez, as implicações tautológicas são utilizadas para fazer inferências, ou seja, executar “etapas” de uma dedução ou demonstração. 


ALENCAR FILHO, E. (2002). Iniciação à lógica matemática. São Paulo: Nobel, 2002.

 

Assinale a alternativa que apresenta corretamente estas características.

Escolha uma opção:

a. Importação

b. Exportação

c. Comutação

d. Regras de inferência

e. Associação


Respostas

User badge image

Ed Verified user icon

A alternativa correta é a letra D) Regras de inferência. As regras de inferência são utilizadas para fazer deduções ou demonstrações, e as implicações e equivalências tautológicas são instrumentos utilizados para executar etapas dessas deduções ou demonstrações. A prova direta é um tipo de argumento que utiliza essas regras de inferência para provar a validade de uma proposição.

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