Hãy sử dụng những quy tắc để chứng minh rằng p∧q, r | − q∧r là hợp lệ. Chúng tôi bắt đầu bằng cách viết xuống các cơ sở; sau đó chúng tôi lại một khoảng cách và viết luận
Hãy sử dụng các quy tắc để chứng minh rằng p∧q, r | - q∧r là hợp lệ. Chúng tôi bắt đầu bằng cách viết xuống các cơ sở; sau đó chúng tôi lại một khoảng cách và viết kết luận