0:00
Dificuldade: InicianteCategoria: Equivalência LógicaTipo: Prova 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