0:00
ErweitertLogische ÄquivalenzBeweis

Gegeben sind die Prämissen:

  1. P ∨ Q
  2. ¬P

Beweise: Q

P ∨ Q, ¬P ⊢ Q

Ziel: Beweise ?

Erstellen Sie Ihren Beweis Schritt für Schritt

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