关于普通(形式)逻辑教科书中几个理论的修正意见

国内已出版的普通(形式)逻辑教科书,都有不准确、不科学的问题。普通(形式)逻辑的改革,首先要从修正教科书中不准确、不科学的东西做起。一、用“未必周延”取代“不周延”笔者接触到的教科书都说直言判断的A与E的主项和E与O的谓项周延,I与O的主项和A与I的谓项不周延。在所有教科书中,都没有“未必周延”这个概念。“未必周延”这个概念是锦州师院孙放同志提出来的(1984年锦州师院学报第一期)。什么是“未必周延”?这要同“周延”与“不周延”一起来明确。就一个概念充当的主谓项,在某种     

形式演绎系统的完全性定理

<正> 设k是用不带等词的可数一阶语言L表述的形式演绎系统,作为形式系统,k是纯粹的语法对象,其中的推演(deduction)出现为无意义的仅仅遵循一定语法规则的公式演算形态,但在本质上,k是逻辑演绎系统,应该满足逻辑语义学的要求:k的公理模式提供的公理应是逻辑有效的,k的推演规则应是保真的,k中的推演应是演绎另一方面,演绎理论也不可能绝对孤立地构造自身的系统,它与归纳理论也有不可分割的联系,本文主要目的就是基于这种关系与联系改进Henkin对Godel完全性定理的证明。     

形式演绎系统f的扩张

从语义和语法两个方面将形式演绎系统f层次化,得到f的一个扩张,从而增强了系统f的表达能力,使之能更有效地应用于模糊系统的研究,。     

形式演绎系统L~*的扩张

从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 .     

(±)-Mesembrine的形式合成

 运用新方法来构筑季碳中心,即钯催化的多官能团羰基邻位芳基化反应与Tsuji-Trost反应的串联反应.运用该方法,从商品化原料出发经9步反应完成了番杏碱(±)-Mesembrine的形式合成.     

系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统     

普通刺猬的解剖学研究(三)内脏

对 2 8只 (♀ 1 6,♂ 1 2 )成年普通刺猬 (Erinaceuseuropaeus)的内脏进行了大体解剖学研究。普通刺猬口腔容积大 ,口裂长 ,舌大而灵活 ,食虫型牙齿 ,单室胃、单乳头肾、双角子宫、无肓肠、无阴囊 ,有乳腺 5对 ,大小肠分化不明显 ,肠长相当于体长的 5～ 6倍 ,肝 7叶 ,肺 4叶 ,肝、脾、肾、胰、心脏和肺分别占体重的 4 1 2 %～ 5 2 3% ,0 2 9%～ 0 51 % ,0 42 %～ 0 53% ,0 45%～ 0 65% ,0 36%～ 0 51 %和0 42 %～ 0 60 % ,血液和褐色脂肪分别占体重的 7 7%～ 8 2 %和 0 75%～ 0 87% ,脑较小 ,大脑表面无沟回 ,雌雄刺猬除生殖器官重量有差异外 ,其它各脏器组分均无性别差异。普通刺猬的内脏特征 ,与刺猬的进化水平和生活习性有一定关系     

普通刺猬的解剖学研究(二) 骨骼

对28只(♀16,♂12)成年普通刺猬(Erinaceuseuropaeus)的骨骼标本进行了解剖学研究。结果表明,普通刺猬全身骨骼有352～353枚,其中头骨48枚,脊椎骨43～44枚,椎式为C7T15L6S3Cy12-13,肋骨15对,胸骨5枚,前肢骨每侧47枚,后肢骨每侧48枚,牙齿36枚,齿式为2(I32,C11,P32,M33)=36,无阴茎骨。普通刺猬骨骼存在有性别差异并表现出与刺猬生活习性相适应的一些特征。     

(￡)*系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统(￡)*.对其中的演绎定理进行了详细讨论,得到了在一定条件下的(￡)*系统中的演绎定理:设A,B∈F(S),若|-(q→-p ∨ p)∨q→A,Г(￡)F(S),则Г|-A→B当且仅当Г∪{A}|-B.将(￡)*系统中的模糊演绎定理进行了改进,进一步说明了(￡)*系统所具有的良好性质.同时,在本文定理的证明中进一步体现了(￡)*系统中的公理L10在模糊命题演算形式演绎系统中的作用,为模糊命题演算的形式演绎系统的研究,特别是L10的应用研究提供了一种新的思路和方法.     

条件(α)所确定的形式背景

定义了一个新的、特殊的形式背景--条件(α)所确定的形式背景,并且揭示出了这个特殊的形式背景的一些基本的性质:这个特殊形式背景的形式概念的稠密性,它的子背景的概念格与其自身的概念格间的序嵌入映射,以及这个特殊形式背景的箭头关系等.     

形式矩阵环的零因子(英文)

设R是有单位元的交换环.该文主要研究形式矩阵环Mn(R;s)的零因子,得到了一个形式矩阵A是零因子的充要条件是它的s-行列式是环R的零因子.     

关於量子场论的非哈密顿(Non-Hamiltonian)形式

利用场方程及一些协变要求,作者导出场量子化条件及对易子与场方程的一般关系,并由电荷共轭不变的要求决定对费米(Fermi)或波色(Bose)量子化方式的选择,即决定自旋与统计的关系。     

普通刺猬的解剖学研究(一) 被皮

对２８ 只（ ♀１６ ,♂１２） 成年普通刺猬（ Ｅｒｉｎａｃｅｕｓｅｕｒｏｐａｅｕｓ） 的被皮进行了解剖学研究,结果表明,普通刺猬被皮有丰厚的皮下脂肪和发达的皮下肌,雄性被皮重占体重的３８－０２ ％ ,雌性占４４－２９ ％ ;雄性皮下脂肪占体重的６－８８ ％ ,雌性占１２－０４ ％ ,雌性皮肤重和皮下脂肪重均显著高于雄性（ Ｐ＜ ０－０５ 或０－０１） ,皮肌和刺重无性别差异。除面部、四肢和腹部外,全身披有粗而硬的针刺,针刺长１６－３６ ±１－３０ ｍ ｍ ,直径０－９５ ±０－１５ ｍ ｍ ,重３－５５ ±０－４３ ｍｇ。每只普通刺猬有针刺５４３４ ±４７５ 根。按颜色分针刺有五种类型,不同个体身上这五种针刺的分布比例不等。普通刺猬有乳腺５ 对,前后足各５ 指（ 趾） ,指（ 趾） 端具爪。普通刺猬皮肤的特殊结构,具有重要的生理保护意义     

L^＊系统中的模糊演绎定理的改进形式

研究了模糊命题演算的形式演绎系统L^*，对其中的演绎定理进行了详细讨论，得到了在一定条件下的L^*系统中的演绎定理：设A，B∈F(S)，若|-(q→p∨p)∨q→A，Γ包含于F(S)，则|-A→B当且仅当rU{A}|-B，将L^*系统中的模糊演绎定理进行了改进，进一步说明了L^*系统所具有的良好性质．同时，在本文定理的证明中进一步体现了L^*系统中的公理L10在模糊命题演算形式演绎系统中的作用，为模糊命题演算的形式演绎系统的研究，特别是L10的应用研究提供了一种新的思路和方法。     

钢琴教学的形式应多样化

本文通过对钢琴教师的职责、钢琴教学不同的形式在教学过程中所起的作用的阐述,强调了钢琴教学的形式应多样化,并且在教学过程中,将多种形式有机地结合起来才能取得良好的教学效果。     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

甘肃省甘南州普通基础教育现状调查报告(Ⅰ)

<正> 1 全州基本概况甘南藏族自治州是我国民族区域自治地方之一,是一个以藏族为主体的多民族居区。它位于黄土高原与青藏高原之间,处我国大陆版图之正中央,位于甘肃省的西南部。该州南与四川省阿坝藏族自治州毗邻,西与青海省黄南藏族自治州相连,东北与临夏     

对改革高校普通体育课组织形式的探讨

当前高校体育教学改革在教法和组织措施上的突出问题是，突破体育课中通常采用的传统的行政班组教学的组织形式，力争按素质状况和技能水平分班（组），即以学生的身体形态、机能、素质状况为主要依据，并考虑接受能力、运动技术水平等因素，划分成几个不同等级的班组，在教学内容和运动量的安排上，做到区别对待。本文据此对152名大学生进行实验性研究，即按体能优劣分班教学，试图为改革高校普通体育课的组织形式提供客观依据。