0:00
Mới Bắt ĐầuTương Đương LogicHoàn Thành Chứng Minh

Điền các lý do còn thiếu cho chứng minh này.

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

P → Q, P ⊢ Q

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

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

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