Ứng dụng phương pháp hình thức hóa trong việc thẩm định tính logic của các mệnh đề trong các văn bản pháp luật