Buscar

Proposição "vem de propor" que significa submeter à apreciação; requerer um juízo. Trata-se de uma sentença declarativa - algo que será declarado p...

Proposição "vem de propor" que significa submeter à apreciação; requerer um juízo. Trata-se de uma sentença declarativa - algo que será declarado por meio de termos, palavras ou símbolos - e cujo conteúdo poderá ser considerado verdadeiro ou falso. Sejam as proposições:

A = tenho sorte.

B = ganhei na loteria.

C = comprarei uma mansão.Traduza para a linguagem natural as seguintes proposições simbólicas quando possível. No caso em que não puder ser formado um fbf, justifique.

a) (A ∧ B) |- ~C

b) C ↔ (A ∧ B)

c) ~A → B ∨ C

Respostas

User badge image

Ed Verified user icon

a) A proposição simbólica "(A ∧ B) |- ~C" pode ser traduzida para a linguagem natural como "Tenho sorte e ganhei na loteria, logo não comprarei uma mansão." Essa tradução é possível porque a proposição simbólica expressa a conjunção das proposições A e B, seguida da negação da proposição C. b) A proposição simbólica "C ↔ (A ∧ B)" pode ser traduzida para a linguagem natural como "Comprarei uma mansão se e somente se tiver sorte e ganhar na loteria." Essa tradução é possível porque a proposição simbólica expressa a equivalência lógica entre a proposição C e a conjunção das proposições A e B. c) A proposição simbólica "~A → B ∨ C" pode ser traduzida para a linguagem natural como "Se não tenho sorte, então ganhei na loteria ou comprarei uma mansão." Essa tradução é possível porque a proposição simbólica expressa a implicação lógica entre a negação da proposição A e a disjunção das proposições B e C.

2
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