单项选择题

谓词公式的类型包括( )

A、重言式
B、逻辑有效式
C、矛盾式
D、可满足式
微信扫码免费搜题