Question

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:

Answer 1

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"