Mathematical Logic In Discrete Mathematics