Basic Define Of Logic In Discrete Math