0:00
Mới Bắt ĐầuTương Đương LogicKéo và Thả Chứng Minh
Sắp xếp các bước sau theo đúng thứ tự để chứng minh Q từ các tiền đề đã cho.
Mục tiêu: Chứng minh Q
P → Q, P ⊢ QCác bước có sẵn
P → QTiền đề
PTiền đề
QModus Ponens (1, 2)
Mục tiêu: Chứng minh Q
Kéo các bước vào đây để xây dựng chứng minh của bạn