Để chứng minh một tập các câu lệnh tương đương, chúng tôi cần phải chứng minh một chuỗi các hàm ý. Chuỗi này có
để có thể nhận được từ bất kỳ một tuyên bố nào khác thông qua một số hữu hạn các bước. Trong
trường hợp chúng tôi sẽ chứng minh các chuỗi sau đây
đang được dịch, vui lòng đợi..