单项选择题

A.数理逻辑;证明
B.数理逻辑;因果逻辑
C.证明;反证明
D.因果逻辑;证明