... F T Dạng mệnh đề Quy tắc thay thứ 1: Trong dạng mệnh đề E, ta thay biểu thức F dạng mệnh đề tương đương logic dạng mệnh đề thu tương đương logic với E Quy tắc thay thứ 2: Giả sử dạng mệnh đề E(p,q,r…) ... với E Quy tắc thay thứ 2: Giả sử dạng mệnh đề E(p,q,r…) Nếu ta thay nơi p xuất E F(p’,q’,r’) dạng mệnh đề nhận theo biến q,r…,p’,q’,r’,… ...