1) generalized semantic MP rule
广义语义MP规则
1.
In the logic system H12,a new partition of F(S) can be obtained by utilizing the concept of generalized tautologies,moreover,a variety of generalized semantic MP rules and generalized semantic HS rules are obtained in H12.
以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0
2.
The generalized semantic MP rule in the revised Kleene logic system is applied to Hα logic system.
另外,逻辑系统-W中的广义语义MP规则也成为其中的一个特例。
2) Generalized semantic MP-rule
广义语义MP-规则
3) generalized semantic C-MP rule
广义语义C-MP规则
4) Generalized semantic HS-rule
广义语义HS-规则
5) generalized semantic HS rule
广义语义HS规则
1.
Generalized semantic MP rules and generalized semantic HS rules of the system H_a;
系统H_a中广义语义MP规则与广义语义HS规则
6) generalized M-P inverse
广义MP逆
补充资料：2-amino-6-mp
CAS: 154-42-7
分子式: C5H5N5S
相对分子质量: 167.19
熔点:360℃
中文名称: 硫鸟嘌呤；6-硫代鸟嘌呤；2-氨基-6-巯基嘌呤；6-巯基鸟嘌呤
英文名称: 2-amino-purine-6(1h)-thion；2-amino-1,7-dihydro-6h-purin-6-thion；2-amino-1,7-dihydro-6h-purine-6-thione；2-amino-6-mercaptopurine；2-amino-6-merkaptopurin；2-amino-6-mp；2-amino-6-purinethio；2-aminopurin-6-thiol
性质描述: 淡黄色针状结晶。熔点＞360℃。易溶于稀碱溶液，不溶于水；乙醇；氯仿。无臭；无味。
生产方法: 由鸟嘌呤经置换反应制得。将吡啶；盐酸鸟嘌呤及五硫化二磷加热回流16h后，常压回收吡啶至反应物呈粘稠状，再状压蒸馏至吡啶回收完。降温至70℃以下，缓缓加入约鸟嘌呤量20倍的水（仿止溢料），加完后继续搅拌半小时，冷却过液，过滤，水洗。将紫沉淀物投入工业氨水中，加活性炭，加热回流1h，趁热滤除活性炭，滤兴高采烈用盐酸调节pH至4，冷却结晶。过滤，再精制一次，得硫鸟嘌呤。
用途: 肮肿瘤药。对急性白血病和慢性粒细胞白血病有缓解作用。大剂量对绒癌有效有较好疗效
分子式: C5H5N5S
相对分子质量: 167.19
熔点:360℃
中文名称: 硫鸟嘌呤；6-硫代鸟嘌呤；2-氨基-6-巯基嘌呤；6-巯基鸟嘌呤
英文名称: 2-amino-purine-6(1h)-thion；2-amino-1,7-dihydro-6h-purin-6-thion；2-amino-1,7-dihydro-6h-purine-6-thione；2-amino-6-mercaptopurine；2-amino-6-merkaptopurin；2-amino-6-mp；2-amino-6-purinethio；2-aminopurin-6-thiol
性质描述: 淡黄色针状结晶。熔点＞360℃。易溶于稀碱溶液，不溶于水；乙醇；氯仿。无臭；无味。
生产方法: 由鸟嘌呤经置换反应制得。将吡啶；盐酸鸟嘌呤及五硫化二磷加热回流16h后，常压回收吡啶至反应物呈粘稠状，再状压蒸馏至吡啶回收完。降温至70℃以下，缓缓加入约鸟嘌呤量20倍的水（仿止溢料），加完后继续搅拌半小时，冷却过液，过滤，水洗。将紫沉淀物投入工业氨水中，加活性炭，加热回流1h，趁热滤除活性炭，滤兴高采烈用盐酸调节pH至4，冷却结晶。过滤，再精制一次，得硫鸟嘌呤。
用途: 肮肿瘤药。对急性白血病和慢性粒细胞白血病有缓解作用。大剂量对绒癌有效有较好疗效
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条