单项选择题

A.可推导性
B.可取消性
C.可推导性和可取消性
D.帮助推导语句的真伪