0:00
Nâng CaoTươ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 ¬P từ các tiền đề cho trước.

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

  • Q → R (Tiền đề)
  • ¬R (Tiền đề)
  • ¬Q (Modus Tollens trên 1, 2)
  • P → Q (Tiền đề)
  • ¬P (Modus Tollens trên 4, 5)

Mục tiêu: Chứng minh ¬P

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

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

Tất cả các bước đã được sử dụng trong chứng minh

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