Diskret matematika we matematiki logika