0:00
InicianteEquivalência LógicaProva Arrastar e Soltar

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

Objetivo: Provar Q

P → Q, P ⊢ Q

Passos disponíveis

P → QPremissa
PPremissa
QModus Ponens (1, 2)

Objetivo: Provar Q

Arraste os passos aqui para construir sua prova