0:00
IntermediárioEquivalência LógicaProva Arrastar e Soltar

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

Objetivo: Provar S

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

Passos disponíveis

P → QPremissa
Q → RPremissa
R → SPremissa
PPremissa
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

Objetivo: Provar S

Arraste os passos aqui para construir sua prova