0:00
OrtaMantıksal Eşdeğerlikİspat Tamamlama

Aşağıdaki çelişki ile ispatı tamamlayın:

  1. P → Q (Premise)
  2. P (Premise)
  3. ¬Q (Premise)
  4. _____ (?)
  5. _____ (?)

Hedef: Bir çelişki elde edin

P → Q, P, ¬Q ⊢ ⊥

Hedef: ? ispatla

İspatı doldurmak için boş alanlara tıklayın