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