单项选择题

A、真值函项规则
B、量化规则
C、量化等值规则
D、归谬法