0:00
FortgeschrittenLogische ÄquivalenzBeweisvervollständigung

Vervollständigen Sie den folgenden Beweis durch Widerspruch:

  1. P → Q (Prämisse)
  2. P (Prämisse)
  3. ¬Q (Prämisse)
  4. _____ (?)
  5. _____ (?)

Ziel: Leiten Sie einen Widerspruch her

P → Q, P, ¬Q ⊢ ⊥

Ziel: Beweise ?

Klicken Sie auf die leeren Felder, um den Beweis auszufüllen