0:00
AvanceradLogisk EkvivalensBevis

Givet premisserna:

  1. P ∨ Q
  2. ¬P

Bevisa: Q

P ∨ Q, ¬P ⊢ Q

Mål: Bevisa ?

Bygg ditt bevis steg för steg

1.
P ∨ Q
Premiss
2.
¬P
Premiss