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

Hoàn thành chứng minh sau:

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

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

P ↔ Q, Q ↔ R, P ⊢ R

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

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