0:00
InicianteEquivalência LógicaCompletar Prova
Preencha as justificações que faltam para esta prova.
Objetivo: Provar Q
P → Q, P ⊢ QObjetivo: Provar Q
Clique nos campos vazios para preencher a prova
1.
P → Q
Premissa
2.
P
Premissa
3.
Q
Selecionar regra
Selecionar referências de linha