有没有大佬能够写一下这个离散数学数理逻辑题？