Sắp xếp các bước sau theo đúng thứ tự để chứng minh R ∧ S từ các tiền đề đã cho.

Các bước khả dụng:

• R ∧ S (Quy tắc hội từ trên 5, 6)
• P ∧ Q (Tiền đề)
• P (Quy tắc tách hội từ trên 1)
• P → R (Tiền đề)
• Q → S (Tiền đề)
• R (Quy tắc Modus Ponens trên 4, 3)
• Q (Quy tắc tách hội từ trên 1)
• S (Quy tắc Modus Ponens trên 5, 7)

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