Các dng mệnh đề trong logic hc
Dng mnh đ
Chng minh dng mnh đta có 3 cách sau:
Lp bng chân tr.
Lp bng chân trmrng.
Sdng phép thay thế.