DT: 演绎定理

DT的定义，DT是什么意思，DT的意思，演绎定理，DT代表的意义演绎定理

HDM的定义，HDM是什么意思，HDM的意思，假设 — — 演绎方法，HDM代表的意义假设 — — 演绎方法

DOQL的定义，DOQL是什么意思，DOQL的意思，演绎对象查询语言，DOQL代表的意义演绎对象查询语言

DREW的定义，DREW是什么意思，DREW的意思，Web 的演绎推理引擎，DREW代表的意义Web 的演绎推理引擎

RAT的定义，RAT是什么意思，RAT的意思，右角定理，RAT代表的意义右角定理

CAT的定义，CAT是什么意思，CAT的意思，余角定理，CAT代表的意义余角定理

SAT的定义，SAT是什么意思，SAT的意思，补角定理，SAT代表的意义补角定理

PT的定义，PT是什么意思，PT的意思，毕氏定理，PT代表的意义毕氏定理

PNT的定义，PNT是什么意思，PNT的意思，素数定理，PNT代表的意义素数定理

SL的定义，SL是什么意思，SL的意思，补角定理，SL代表的意义补角定理