0:00
Trung CấpTương Đương LogicHoàn Thành Chứng Minh

Hoàn thành chứng minh bằng phản chứng sau:

  1. P → Q (Tiền đề)
  2. P (Tiền đề)
  3. ¬Q (Tiền đề)
  4. _____ (?)
  5. _____ (?)

Mục tiêu: Suy ra một mâu thuẫn

P → Q, P, ¬Q ⊢ ⊥

Mục tiêu: Chứng minh ?

Nhấp vào các trường trống để điền chứng minh