0:00
AvanceretLogisk ÆkvivalensBevis

Givet præmisserne:

  1. P ∨ Q
  2. ¬P

Bevis: Q

P ∨ Q, ¬P ⊢ Q

Mål: Bevis ?

Opbyg dit bevis trin for trin

1.
P ∨ Q
Præmis
2.
¬P
Præmis