0:00
InicianteEquivalência LógicaCompletar Prova

Preencha as justificações que faltam para esta prova.

Objetivo: Provar Q

P → Q, P ⊢ Q

Objetivo: 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