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

Lógica

Outros

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

Praticando Para o Saber

há 2 anos

Praticando Para o Saber

há 2 anos

7 pág.

logica-questionario-unidade-iii-unip-2022-universidade-paulista

Respostas

há 2 anos

A resposta correta é a letra A. A regra da adição (AD) é demonstrada pela tautologia da proposição p → p V q.

Essa resposta te ajudou?

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

Ainda com dúvidas?

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

Essa pergunta também está no material:

7 pág.

logica-questionario-unidade-iii-unip-2022-universidade-paulista

Mais perguntas desse material

A condicional associada ao argumento p → q, r → s, ~q ∨ ~s ⊢ ~ p ∨ ~r (DD) é:
(p → q) ∧ (r → s) ∧ (~q ∨ ~s) → (~p ∨ ~r)
(p → q) ∨ (r → s) ∨ (p ∨ r) → q ∨ s
(p → q) ∨ (r → s) ∨ (p ∨ r) ↔ q ∨ s
(p → q) ∨ (r → s) ∧ (p ∨ r) → q ∨ s
(p → q) ∧ (r → s) ∨ (p ∨ r) ↔ q ∨ s
(p → q) ∧ (r → s) ∧ (~q ∨ ~s) → (~p ∨ ~r)
a.
b.
c.
d.
e.

A condicional associada ao argumento: p → q, r → s, p ∨ r ⊢ q ∨ s (DC) é:
(p → q) ∧ (r → s) ∧ (p ∨ r) → (q ∨ s)
(p → q) ∨ (r → s) ∨ (p ∨ r) → q ∨ s
(p → q) ∨ (r → s) ∨ (p ∨ r) ↔ q ∨ s
(p → q) ∧ (r → s) ∨ (p ∨ r) ↔ q ∨ s
(p → q) ∧ (r → s) ∧ (p ∨ r) → (q ∨ s)
a.
b.
c.
d.
e.

Das regras de inferência, podemos dizer que:
I- São sempre verdadeiras.
II- São sempre válidas.
III- Facilitam o processo de demonstração de validade de argumentos complexos.
Apenas as alternativas I e III são verdadeiras.
Todas as a�rmativas são verdadeiras.
Apenas a alternativa I é verdadeira.
Apenas as alternativas II e III são verdadeiras.
Apenas as alternativas I e III são verdadeiras.
Todas as alternativas são falsas.

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

Do argumento, podemos dizer que é: I- Verdadeiro. II- Válido. III- Falso. IV- Inválido.

A II e a IV são verdadeiras.
Todas as afirmacoes são falsas.
A I e a III são verdadeiras.
A I e a II são verdadeiras.
Todas as afirmações são verdadeiras.

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 II e a III estão corretas.
A I e a II estão corretas.
A II e a III estão corretas.
Apenas III está correta.
Apenas I está correta.

Lógica

logica-questionario-unidade-iii-unip-2022-universidade-paulista

Respostas

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

Ainda com dúvidas?

Essa pergunta também está no material:

logica-questionario-unidade-iii-unip-2022-universidade-paulista

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

Do argumento, podemos dizer que é: I- Verdadeiro. II- Válido. III- Falso. IV- Inválido.A II e a IV são verdadeiras.Todas as afirmacoes são falsas.A I e a III são verdadeiras.A I e a II são verdadeiras.Todas as afirmações são verdadeiras.

Mais conteúdos dessa disciplina

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

Do argumento, podemos dizer que é: I- Verdadeiro. II- Válido. III- Falso. IV- Inválido.

A II e a IV são verdadeiras.
Todas as afirmacoes são falsas.
A I e a III são verdadeiras.
A I e a II são verdadeiras.
Todas as afirmações são verdadeiras.