Question

1) Proposições equivalentes são aquelas que possuem os mesmos resultados lógicos quando construímos a tabela-verdade. Assinale a alternativa que apresenta proposições equivalentes. Alternativas: a) p → q equivalente a p v q. b) p ^ q equivalente a ~( p v q). c) ~ (p v q) equivalente a ~p ^ q. d) ~(p ^ q) equivalente a ~p v ~q. Alternativa assinalada e) ~p ^ q equivalente a p → q. 2) Considere as premissas p e q, com a conclusão r. p: Se eu estudar muito então serei aprovado. q: Se eu for aprovado então terei maiores oportunidades r: Portanto, "se eu estudar muito" nos leva a conclusão de que "então terei maiores oportunidades". A que regra de inferência corresponde a proposição acima? Alternativas: a) Modus ponens. b) Modus tollens. c) Silogismo hipotético. d) Dilema construtivo. e) Dilema destrutivo. Alternativa assinalada 3) A negação da proposição "Carlos é engenheiro ou Joana não é professora" é: Alternativas: a) "Carlos é engenheiro e Joana é professora". b) "Carlos não é engenheiro e Joana é professora". c) "Carlos não é engenheiro ou Joana não é professora". d) "Carlos não é engenheiro e Joana não é professora". e) "Carlos não é engenheiro ou Joana é professora". 4) Dadas as premissas p e q, com a conclusão r. O raciocínio apresentado a seguir: p: Se um número inteiro (n) for par, então o seu quadrado (n2) é par. q: n é par. r: n2 é par. Assinale a alternativa que representa a estrutura do argumento acima: Alternativas: a) Modus ponens. b) Modus tollens. c) Silogismo hipotético. d) Dilema construtivo. e) Dilema destrutivo. 5) Por meio da tabela verdade é possível montar todos os resultados possíveis de uma sentença. Considere o argumento ~(p v q) ^ p. Qual a sequência final correta da tabela verdade para esse argumento? Alternativas: a) V, V, V, V b) V, F, V, V c) V, V, V, F d) F, V, F, F e) F, F, F, F

Answer 1

1d 2a 3c 4?5? Nao sei

Answer 2

Olá!

É recomendável que deixe o mínimo de perguntas possível, para poder ajudar melhor a resolver suas dúvidas.

1) Vamos lembrar que, uma proposição é logicamente equivalente a outra quando suas tabelas da verdade forem iguais. Basicamente, quando duas proposições são logicamente equivalentes elas têm a mesma forma, e um pode ser substituído pelo outro em qualquer outra proposição ou teorema.

Assim, duas propocições compostas, P e Q são equivalentes, se unidos pelo bicondicional ↔, o resultado é uma tautologia; isto é, ambas as proposições têm o mesmo valor de verdade.  

Alternativa correta: d) ~(p ^ q) ↔~p v ~q