0:00
Nâng CaoTương Đương LogicHoàn Thành Chứng Minh

Hoàn thành chứng minh sau sử dụng phân tích trường hợp:

  1. P ∨ Q (Tiền đề)
  2. P → R (Tiền đề)
  3. Q → R (Tiền đề)
  4. Trường hợp 1: Giả sử P
  5. _____ (?)
  6. Trường hợp 2: Giả sử Q
  7. _____ (?)
  8. _____ (?)

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

P ∨ Q, P → R, Q → R ⊢ R

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

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