... khoa cntt” q(x): “x phải học toán rời rạc .Coi lý luận:Mọi sinh viên khoa CNTT đều phải học toán rời rạc Mà Cường là sinh viên khoa CNTT, nên Cường phải học toán rời rạc Viết dạng logic vị từ:Gọi ... p(a) (Tiền đề)nên: q(a) (pp khẳng định)Mà Cường là sinh viên khoa CNTT, nên Cường phải học toán rời rạc A: “Cường là sinh viên khoa CNTT” 3.5 Các quy tắc suy diễnPhương pháp khẳng định (Modus ... thay thế thứ 2, ta có E’(r,s,q) cũng là hằng đúng. Nội dung chínhKhái niệm mệnh đềCác phép toán logicDạng mệnh đềCác quy tắc suy diễnCác phương pháp chứng minhVị từ và lượng từ...