Indique a regra de inferência conhecida como Modus Ponens (MP): p → q, p ⊢ q. p → q ⊢ p → (p ∧ q). p → q, p ⊢ p. p → q, q → r ⊢ p → r. a) p → q, p ...

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

Lógica I

•

Outros

Aprendendo com Exercícios

19/05/2024

Essa pergunta também está no material:

LÓGICA - QUESTIONÁRIO UNIDADE III

5 pág.

LÓGICA - QUESTIONÁRIO UNIDADE III

Lógica I • Universidade PaulistaUniversidade Paulista

Leandro Giatti

Leandro Giatti

Respostas

Ed

19.05.2024

Vamos analisar cada alternativa: a) p → q, p ⊢ q. Essa alternativa está correta. O Modus Ponens (MP) afirma que se temos uma implicação "p → q" e também "p", então podemos inferir "q". Portanto, a alternativa a) está correta. Portanto, a resposta correta é: a)

0

0

Responda

Para escrever sua resposta aqui, entre ou crie uma conta