Alguém tem as respostas de av1 - mat - lic - lógica matemática unopar? 1) considerando as proposições

Alguém tem as respostas de av1 - mat - lic - lógica matemática unopar?
1) considerando as proposições p: manoel é pobre e q: amaro é rico, é correto afirmar que a tradução para linguagem natural da proposição composta (p v ~q) → p é:
2) árvore de refutação é um método para verificar a validade de um argumento, análogo à demonstração por absurdo, em que para testarmos a validade de um argumento construímos uma lista de fórmulas consistindo de suas premissas. a respeito desse método, analise as afirmativas a seguir:
3) na última coluna da tabela verdade podemos nos deparar com três casos possíveis: somente verdades (v), somente falsidades (f), ou uma mistura entre verdadeiros e falsos. toda a proposição que na última coluna da tabela-verdade é composta apenas por valores verdadeiros é chamada de:
4)a noção de argumento é fundamental para a lógica. argumento é um conjunto de enunciados que estão relacionados uns com os outros. argumento é um raciocínio lógico. quando esse argumento é formado por duas premissas e uma conclusão, o designamos como:
5)chamamos de conectivos lógicos ou operadores lógicos qualquer palavra ou símbolo utilizada para formar novas proposições compostas, e estes operadores combinam duas ou mais proposições. sobre os conectivos lógicos, faça a correspondência correta destes com a respectiva representação simbólica:

1 Resposta

  • ClayverSantos

    1- Se Manoel é pobre ou Amaro é rico então Manoel é pobre.

    2-

    3- Tautologia

    4- Argumento dedutivo

    5- ~ representa a "não"
    ^ represeta o "e"
    v representa o "ou"
    → representa o " se,entao"
    <-> representa o "se, somente se"

Clique aqui para adicionar a sua resposta.