0:00
Dificuldade: InicianteCategoria: Equivalência LógicaTipo: Prova Arrastar e SoltarOrganize os seguintes passos na ordem correta para provar Q a partir das premissas dadas.
Objetivo: Provar Q
P → Q, P ⊢ QPassos disponíveis
P → QPremissa
PPremissa
QModus Ponens (1, 2)
Objetivo: Provar Q
Arraste os passos aqui para construir sua prova