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 ⊢ Q

Cá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