Indique a regra de inferência conhecida como Silogismo Hipotético (SH):
p → q, q → r ⊢ p → r.
p → q ⊢ p → (p ∧ q).
p → q, p ⊢ q.
p → q, p ⊢ p.
p → ...
Indique a regra de inferência conhecida como Silogismo Hipotético (SH): p → q, q → r ⊢ p → r. 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