0:00
AvançadoEquivalência LógicaProva Arrastar e Soltar

Organize os seguintes passos na ordem correta para provar R ∧ S a partir das premissas dadas.

Passos Disponíveis:

  • R ∧ S (Introdução da Conjunção em 5, 6)
  • P ∧ Q (Premissa)
  • P (Eliminação da Conjunção em 1)
  • P → R (Premissa)
  • Q → S (Premissa)
  • R (Modus Ponens em 4, 3)
  • Q (Eliminação da Conjunção em 1)
  • S (Modus Ponens em 5, 7)

Objetivo: Provar R ∧ S

P ∧ Q, P → R, Q → S ⊢ R ∧ S

Passos disponíveis

Todos os passos usados na prova

Objetivo: Provar Q

Arraste os passos aqui para construir sua prova