0:00
Trung CấpTươ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 S từ các tiền đề đã cho.

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

P → Q, Q → R, R → S, P ⊢ S

Các bước có sẵn

P → QTiền đề
Q → RTiền đề
R → STiền đề
PTiền đề
QModus Ponens (1, 4)
RModus Ponens (2, 5)
SModus Ponens (3, 6)

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

Kéo các bước vào đây để xây dựng chứng minh của bạn