木棉花盛开的春天

1十七岁,我在某县城读二中。头发枯黄,身材矮小,眼睛太大,表情冷傲,基本上是属于不讨人喜欢的女生类型。父亲试图用一个陌生的城市来逼迫我专注念书。我辜负了他的苦     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词→和开放世界假定的否定词┒构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

哎呀，婚姻这道菜

1距离春节还有两个多月,母亲就早早地打来电话,让我和周想回去过春节。我想也没想,就干脆地答应下来。晚上跟周想兴冲冲地提起。周想惊讶地看着我,说,春节怎么可能去你家啊,我妈早就交待了,让我们回金城过年!我一听就炸了,我已经答应我妈了。周想毫不退缩,我也     

你给我的爱有多长

1第一次见他,他八岁。个子挺结实,穿着土里土气的花棉袄,袖子磨得剥了边,裤子很短,轻飘飘地吊在脚踝上,整个人像电视里的小兵张嘎。不不不,小兵张嘎比他帅多了。小兵张嘎起码不会流老长的鼻涕。妈说,这是你哥,来,叫哥。他怯怯地看着我,讨好地向我露一个笑脸。猛地一抽鼻子,那鼻涕嗖地全缩到鼻子里去了。我一扭头就蹿出门去。谁要叫他哥。那么丑那么脏。后来才发现,他说话特结巴,脑子像是不太灵光,什么事都要老半天才反应过来。我更嫌他。真笨。妈让他和我一个班,想坐我旁边,     

钻石女孩的急速青春:将香港高官拉下马

2008年7月26日,香港廉政公署公布了一起高官集体渎职、淫一乱的案件:香港出口信用保险局的几名官员,集体接受性贿赂。香港特区政府公职人员向来以廉洁奉公著称,此案一经披露,立即在港岛内外引起一片哗然。近日,一位曾在该案中充当应召女郎的女孩,向本刊独家披露了这段不堪回首的经历。每一个女孩来到世间,都是冰清玉洁仙子的化身。是什么原因,让青春女孩成为堕落天使?     

我和男友抢情人

正男友有外遇,我却一点儿也没有醋意我与章强是2006年下半年认识的,三个月后,我们同居了。一年多来,我一直不知道他身边还有另外一个女人。     

乡下人嘲笑城里人的16件事

一、出门打的,乘电梯上七楼的健身房。然后在跑步机上挥汗如雨。二、半夜上网,去歌厅、舞厅,困了不睡觉,之后失眠,再吃安眠药。三、管儿子叫小兔崽子,管宠物狗叫儿子。     

两个男人的交接仪式

每一个有女儿的家庭,或多或少都要经历这样的剥离之痛。有一种爸爸对自己的女儿,像文人对自己的稿子,什么缺点自己明白,又不愿意真的被发现、被指出。有一种爸爸对自己的女儿,像收藏家对自己的藏品,明明已经易主,还整日惦记,生怕被别人委屈了。还有一种爸爸对自己的女儿,像发明家对自己的专利,绝不允许别人共享,当然,你偷着用可以,对不起,别让我看见。碰巧,身边不少这样的爸爸,或者说不少其中的女儿。比如,我的一个朋友,说她爸爸总是不停地向她老公确认,女儿是不是脾气不好,家务也做不好。好像生怕自己的产品得不到认可似的,要不停地回访,让人填写口头意见簿。如果女婿表示包     

碧云寺：“天下为公”的不朽传奇

一座清幽静谧的古刹 碧云寺位于北京海淀区香山公园北侧,西山余脉聚宝山东麓,是一组布局紧凑、保存完好的园林式寺庙。创建于元至顺二年（1331年）,后经明、清扩建,始具今日规模。寺院坐西朝东,依山势而建造。整个寺院布置,六进院落为主体,南北各配一组院落,院落采用各自封闭建筑手法,层层殿堂依山叠起,     

风(?)的历史及其流传

现代的人们,多将风筝视为文化娱乐用品。然而在历史上,风筝的用途曾有过多次转换,其最初的功能,据说是用于军事的。在一些史料中,多处记录了古代人将风筝用于军事的故事。相传公元前203年,楚汉战争时期,汉将韩信率军四十万围项羽于垓下(今安徽灵壁南)进行决战,湖信命人用牛皮制了一具大风筝,于夜间腾空而起,飞到楚营上空,在风筝上唱起楚地之歌,悲怨委婉的曲调,唤起楚军士兵的思乡之情,终于不战而溃,楚军大败。还有一个故事说,在公元549年,梁武帝被叛臣候景困于南京台城,城内城外联系中断,为了尽快联系,有一叫羊车儿