Logo Passei Direto
Buscar
User badge image
Fabi Silva

há 5 anos

User badge image
Fabi Silva

há 5 anos

Respostas

User badge image

Lamonnyer Oliveira

há 5 anos

A proposição p → p v q é uma tautologia e não é uma contradição.


Uma tautologia é uma proposição analítica que continua verdadeira sempre, já que o atributo do sujeito é uma repetição, ou seja, os valores lógicos finais são todos verdadeiros.


O princípio da não contradição defende que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira, sendo assim, uma proposição não pode ser falsa e verdadeira em um mesmo tempo.



Essa resposta te ajudou?

1
Dislike0
left-side-bubbles-backgroundright-side-bubbles-background

Crie sua conta grátis para liberar essa resposta. 🤩

Já tem uma conta?

Ao continuar, você aceita os Termos de Uso e Política de Privacidade

User badge image

Elvídio NETO

há 5 anos

I. Tautologia.


Essa resposta te ajudou?

0
Dislike0
User badge image

Lucas Rodrigues

há 4 anos

sim

Essa resposta te ajudou?

0
Dislike0

Ainda com dúvidas?

Envie uma pergunta e tenha sua dúvida de estudo respondida!

Essa pergunta também está no material:

Mais perguntas desse material

Qual a representação molecular para a proposição composta: Se João é astronauta, então, José é marinheiro e Pedro é balconista.
a. p → q
b. p → (q ∧ r)
c. (p → q) ∧ r)
d. p v q
e. p ∧ q

Um argumento é válido:
I. Se a bicondicional formada pela conjunção das premissas na hipótese e a conclusão na tese for tautológica.
II. Se a condicional formada pela conjunção das premissas na hipótese e a conclusão na tese for tautológica.
III. Se a conclusão for verdadeira em todas as vezes que as premissas forem verdadeiras.
a. I e II estão corretas.
b. II e III estão corretas.
c. Apenas III está correta.
d. Apenas I está correta.
e. I e III estão corretas.

O argumento p ⊢ p ∨ q é conhecido como regra da adição (AD). Para demonstrá-lo, basta provar a tautologia da proposição:
a. p ∨ q → p
b. p → p ∧q
c. p → p ∨ q
d. p ∧q → p
e. p ∧q → p ∨ q

Indique a regra de inferência conhecida como Modus Ponens (MP):
a. p → q ⊢ p → (p ∧ q).
b. p → q, p ⊢ q.
c. p → q, p ⊢ ~p.
d. p → q, q → r ⊢ p → r.
e. p → q, r → s, p ∨ r ⊢ q ∨ s.

Como se determina a quantidade de linhas na tabela-verdade de uma proposição composta formada por "n" proposições simples?
a. 2 x n
b. 4 x n
c. n2
d. n4
e. 2n

A propriedade transitiva da implicação garante que:
a . P ⇒ P
b. P ⇒ Q; Q ⇒ R, então P ⇒ R
c. P ⇒ (Q v R), então (P ⇒ Q) v (P ⇒ R)
d. P ⇒ Q, então Q ⇒ P
e. P ⇒ (Q ∧ R), então (P ⇒ Q) ∧ (P ⇒ R)

Mais conteúdos dessa disciplina