0:00
Trung CấpTươ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 R

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

1.
P → Q
Tiền đề
2.
Q → R
Tiền đề
3.
P
Tiền đề
4.
Q
Chọn quy tắc
Chọn tham chiếu dòng
5.
R
Chọn quy tắc
Chọn tham chiếu dòng