... x (G(x) H(x)) x G(x) x H(x)x (G(x) H(x)) x G(x) x H(x)ví dụ : x Love(x, Husband(x)) y Love(y, Husband(y)).6.2 Chun húa cỏc cụng thcT cỏc cõu phõn t, bng cỏch s dng cỏc kt ni logic ... Chẳng hạn, Hoa là một ký hiệu hằng, Love là một vị từ của hai biến, husband là hàm của mộtbiến, thì Love ( Hoa, husband( Hoa)) là một câu đơn.Các công thứcTừ công thức phần tử, sử dụng các...