0:00
AvançadoEquivalência LógicaProva

Dadas as premissas:

  1. P ∨ Q
  2. ¬P

Prove: Q

P ∨ Q, ¬P ⊢ Q

Objetivo: Provar Q

Construa sua prova passo a passo

1.
P ∨ Q
Premissa
2.
¬P
Premissa