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 ∧ SPassos disponíveis
Todos os passos usados na prova
Objetivo: Provar Q
Arraste os passos aqui para construir sua prova