Toán rời rạc - Discrete mathematics: Cơ sở Logic

Mệnh đề, phép tính mệnh đề, biểu thức mệnh đề, các luật logic, ...