中介逻辑命题演算的扩张(Ⅰ)

如所知,MP有三个命题联接词→、(?)、～。现构造另一个中介命题逻辑MP~*,它只比MP多一个形式符号<,称为“真值程度词”,读为“真值程度不强于”或“真值程度弱于”,于是MP~比MP多一条形成规则,即当A、B为合式公式时,A相似文献   

变色商品演泽缤纷时尚

变色汽车美国福特公司推出一种在公路上快速行驶时会不断改变其车身颜色的小汽车。当你在公路上看到这种汽车在你身后时,它是紫色的;当它接近你时,它就变成了红色;当它超过你的车身时,变成黑色;当它在你前面行驶时则呈现绿色;然而,当它渐渐离你远去时,却又变成了黄褐色。这种技     

巧用PhotoShop工具箱

Photo shop是处理图像的行家里手,为了实现它那“恢弘的理想”,它“网罗”了一大串“左膀右臂”——绘图时使用的工具,如图1所示。那么,图1中的这些工     

变色商品演泽缤纷时尚

变色汽车美国福特公司推出一种在公路上快速行驶时会不断改变其车身颜色的小汽车.当你在公路上看到这种汽车在你身后时,它是紫色的;当它接近你时,它就变成了红色;当它超过你的车身时,变成黑色;当它在你前面行驶时则呈现绿色;然而,当它渐渐离你远去时,却又变成了黄褐色.这种技术是将一种极细微的透明薄漆喷涂在黑色的底色上,产生一种类似棱镜的折射效果,进入人眼后就成了各种颜色.     

帝国时代Ⅱ

两年前当我第一 次看到“帝国时代”时, 立刻被它精美的画面 迷住了,虽然它没有采 用时下流行的3D加速 技术,但是用2D表现 图像的效果已经达到 极致,特务是在细节方 面,例如,当农民抱着 肉走时身体会后倾,手 中的肉会随着人物的 走动而颤动,在战斗中 巨型投石车发射石头 后,车身会在后坐力的 作用下产生收缩等等,这些简直是太惟妙惟肖。刚看到这些我就有一种想玩的冲动。 就游戏的内容来说,它是一个标准的即时策略游戏,很容易上手。它的流程基本上是:首先选择一种作战模式(如随机地图)-其次选择自己扮演的种族-游戏开始后利用部落中心制造农民,农民可收集资源和造建筑(建筑物可产生士     

也说欹器之谜

早在五千多年前的氏族社会里，流传过一种被称为“欹瓶”的奇特水壶。我们的祖先用它来汲水和盛水。这种水壶是陶瓷的，腹大、口小、底尖并带有两个提耳。它没有装水时呈倾倒状，水装到一定位置时，会自行站立起来。如果继续装入水，水齐瓶口时，它又会倾倒。关于这种容器，古书上曾有过“虚则倾，中则正，满则覆”的记载。但它为什么如此神奇，原理却没有记载。后来这种神秘的容器失传了，在历史上被称为“欹瓶之谜”。我们从一本杂志上看到一文，这样破释了欹瓶的原理（如图1）：因为瓶是尖底的，整个欹瓶的重心就高于支点（提耳）之上，…     

理由和真理探索

在哲学史上,有三种关于真理本性的一般类型的理论一直彼此相互竞争着:符合论,照它看来,当而且仅当“符合实在”时,信念或命题是真的;一致论,对它来说,当而且仅当与其他信念或命题(可能是与它们的绝大多数)“相一致”时,信念或命题才是真的;实用论,它认为,当而且仅当“生效”时,信念或命题是真的。那些构造可接受的真理论的哲学家之所以失败的基本理由在于它们探索的基础、出发点。符合论承认,真理构成因子     

探析"九龙杯"

一、神奇的“九龙杯”宋代制作的“九龙杯”，如图1所示，杯子中间的凸起，是九条龙盘旋在上面的中柱上，所以取名为“九龙杯”。“九龙杯”不仅外形美丽，而且非常神奇。“九龙杯”的神奇之处在于：酒没有倒满时，尽可以往里面倒，但是酒一旦倒满，整杯酒好像被龙喝掉了似的，一点儿也没有了。它的奥妙在哪里呢？二、探究“九龙杯”奥秘九龙杯为什么这样神奇呢？让我们做个试验来说明。“九龙杯”与“虹吸现象”如图2（a）所示，把一根弯曲的塑料管两端插入盛水的甲杯和不盛水的乙杯中，水不会由甲杯流向乙杯，这是因为甲杯中的水不能往上…     

古物的科学分析法

科学家们用科学的方法分析测定古物长期变化的程度和机制,以及它们的贮存与显示处理方法等等,图示3种科学的分析方法。1.核磁共振:核磁共振能够详述分子中的每个碳原子,以致采用这种方法能够发现中世纪印记(如图1)上的“指纹”有机化合物,当对所测物体施加强磁场时,核磁共振取决于原子核吸收射频的能量,对     

太湖蕨山岛发现震裂锥

震裂锥(Shatter cone)是锥状岩石碎块,以锥面具有放射状条纹为特征。1905年首次见于德国Steinheim。震裂锥在美国最著名的发育地是印地安那州的Kentland。1938年,当地球上存在陨石坑还处于假说阶段时,J. D. Boon就认为它是陨石冲击的产物。1947年,     

木星和土星的观测

夜空中最明亮的星星之一是木星,最迷人的行星却是土星。这两颗行星与火星、天王星、海王星和冥王星的轨道均在地球轨道外侧,习惯上称为外行星(水星和金星称为内行星)。外行星相对于太阳的视运动如图1所示,这里有4个特殊位置:合日、西方照、冲日、东方照。 当外行星运行到与太阳、地球在一条直线上,并且太阳在外行星和地球之间时,外行星的位置(图1中P_1)叫做合日(简称合)。外行星在合日附近时,由于和太阳几乎同方向,所以看不见它。以后,外行星相对于太阳西(右)移,因而每天在黎明前出现于东方。当外行星相对于太阳西行至地球与它的连线同地球与太阳的连线相互垂直时,外行星的位置叫做方照。显然方照有两个,其中外行星在太阳之西的方照称为行星在冲日时,日落时升起,日出时下落,整夜可见,离地球更近,是观测它们的好机会。 冲日以后,外行星继续运动,当外行星再次抵方照,位于太阳之东时,外行星的位置称为东方照(图1中P_4)。行星在东方照时,于中午时升起,日落时在子午圈附近,所以上半夜可以看到。东方照以后行星逐     

情绪音乐

怎么？心情不好？在妻子或丈夫面前你当然可以搪塞一下,却难逃你家音响的“慧眼”？美国麻省理工学院媒体实验室的罗瑟琳·匹卡德教授研制出了一种名为“数字化主持人”的立体音响系统,安装在它里面的计算机处理器能够“读出”你的情绪。根据你的心情,音响会播出你最喜欢听的音乐——当你紧张害怕时,它播出柔和的乐曲;当你郁郁寡欢时,它奏出经常的旋律。根据匹卡德教授的设想,几年之后这一技术可以推广到许多机器设备上——从立体音响到家用电脑。到时这些设备能够对触觉、声音和视觉信号（如皱眉和微笑）作出反应。匹卡德说,“我们…     

一类混沌神经元的控制

大脑是一个由大量神经元组成的非常复杂的非线性系统,这些神经元中包含着复杂的动力学行为:稳定态,周期态,甚至混沌行为.人们已经认识到混沌在大脑对信息的处理中扮演着重要的角色.如Freeman在兔子的嗅觉实验中发现,当兔子闻到一种它已知的气味时,它的嗅觉小球的活动呈极限环状态;而当兔子闻到一种未知气味时,它     

又是个眼大肚皮小

前不久,在马来群岛的一个村子里,一条巨蟒将已经成为它腹中之物的一只成年母羊倒吐出来。当人们发现这条巨蟒时,一团胀鼓鼓的东西正从它的腹部缓缓移向它的口部(如图)。巨蟒浑身都是括约肌,这就意味着它不像其它蛇类那样利用毒液置猎物于死     

漫说蝴蝶

蝴蝶是色彩艳丽的鳞翅目昆虫,按照其色彩和翅膀花样等特色而分为若干科,全世界已知近20000种。粉蝶科的蝴蝶较小,多为白色或黄色,往往有黑色翅脉或翅缘。蛱蝶科的蝴蝶体型适中,后翅退化,翅缘有角状或波状凹陷。凤蝶科的蝴蝶较大,也比较更美丽,后翅有两条尾状突起。“木蠹生虫,羽化为蝶。”(干宝《搜神记》)先民们惊讶于蝴蝶形态的奇异变化,认为它具有神异的力量,进而将它视作图腾,并制成器物以祛邪祟。如6000年前的浙江河姆渡石器时代,先民们就制作了大量的“蝶形器”作为装饰品。我国第一部辞书《尔雅》中也已经出现了“”字(古“蝶”字)。…     

大快朵颐话火锅

火锅起源 火锅既是一种传统饮食方法,必然有它的“鼻祖”。有些人认为东汉的“鐎斗”是它的“雏形”。据《中国陶瓷史》介绍鐎斗“常与形状如钵、胎壁较厚、口缘安有对称的半环形双鼻的大火盆共存”,说明鐎斗被搁置火盆之中,盆中加放炭火即可用来温食,应当是当时“暖锅”的模仿。”还有些人认为“铜爨”也可谓之“火锅祖先”。北齐时魏收写过一部《后魏书》,其中《獠传》言“铸铜为器,大口宽腹,名曰铜爨,既薄且轻,易于熟食。”“獠”当指湖北与四川交界一带。就是说,这一带居民在南北朝时已吃火锅了。     

关于整树问题

“整图”这个术语首先由F. Harary和A. J. Schwenk(1974)引入。所谓整图就是指其特征值均为整数的图。文献[1]中第23个开问题是关于整树的,叙述如下: (i) 星图K_(1,m)是整的,当且仅当m是一个完全平方数。     

我的发明设想

三等分角尺改进“丁”字尺可以用来三等分角,就叫它三等分角尺吧!“丁”字尺变为三等分角尺还需在尺身画一条中央线、在尺头的两端加上两个端点(如图1)。三等分角尺用法:1郾在任意角两边中间做一条平行于角的一边的直线,该直线与该边的距离为1/2尺头(如图2)。2郾移动三等分角尺,使尺身的中央线通过角的顶点,尺头的两端点A、B,分别落在角的一边和平行线上(如图3)。3郾从角的顶点向落在平行线上的尺头端点B画一直线,此直线OB与尺身中央线OC、就是角α的三等分线(如图4)。(设想者:胡显明四川广元中学高二12班邮编:628017)【专家点评】我们知…     

按图索骥——寻找超导材料的最佳配方

最近,英国剑桥大学超导研究者与来自台湾的学者合作研究通过改变材料中金属氧化物的金属成分,获得了一张材料成分与超导临界温度T_c的关系图(如图1),然后根据这张“地形图”去寻找通向临界温度顶峰的“道路”。图中竖轴为     

以中国人命名的数学成果

在数学王国中，有些研究成果是以中国人命名的，其中著名的有：华氏定理数学大师华罗庚关于完整三角和方面的研究成果被国际数学界称为“华氏定理”；另外他与数学家王元提出的多重积分近似计算方法在国愿上被誉为、“华—王方法”。苏氏锥面数学大师苏步青在仿射微分几何学方面的研究成果在国际上被命名为“苏氏锥面”。熊氏无穷级数学家熊庆来关于整函数与无穷级的亚纯函数的研究成果被国外学者誉为“熊氏无穷级”。吴氏方法数学家吴文俊关于几何定理机器证明的方法被国际上誉为“吴氏方法”。柯氏定理数学家柯召关于卡特兰问题的研究成果…