0:00
AvancéÉquivalence LogiquePreuve

Étant donné les prémisses :

  1. P ∨ Q
  2. ¬P

Prouver : Q

P ∨ Q, ¬P ⊢ Q

Objectif : Prouver ?

Construisez votre preuve étape par étape

1.
P ∨ Q
Prémisse
2.
¬P
Prémisse