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 R từ các tiền đề đã cho.

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

P ∨ Q, ¬P, Q → R ⊢ R

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

P ∨ QTiền đề
¬PTiền đề
Q → RTiền đề
QTam đoạn luận Tuyển (1, 2)
RModus Ponens (3, 4)

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

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