论文部分内容阅读
在给出了亚里士多德三段论显示法证明的形式刻划的基础上,建立了亚里士多德混合三段论的形式系统。用显示法证明了第二格Baroco○□□式在亚里士多德混合三段论系统中是有效的,指出亚里士多德混合三段论系统的有效式应为14个,而不是13个。
亚里士多德的混合三段论形式系统AS^2
【摘 要】
：
在给出了亚里士多德三段论显示法证明的形式刻划的基础上,建立了亚里士多德混合三段论的形式系统。用显示法证明了第二格Baroco○□□式在亚里士多德混合三段论系统中是有效
【机 构】
：
南京大学哲学系,广西大学公共管理学院
【出 处】
：
西南民族大学学报：人文社会科学版
【发表日期】
：
2007年11期
其他文献
尤尼林（Unilins）集团的尤尼林克（Uniclic）目前仍然是最简单的,最可靠的强化木地板锁扣系统。＂尤尼林克不仅简单,而且一个人就能操作,所以安装工人们也非常喜欢这种系统。＂华盛顿Str
3月份,北欧供应商需求增加稍微刺激了西班牙市场,使价格涨30欧元/m~3。进口商表示很难将高价购进的松木锯材脱手。由于瑞典供应商紧咬开出的高价格,进口商将转向北非市场。此
背景:最近10年结核病例数有所增加,寻找快速特异的方法直接检测呼吸道标本的结核分枝杆菌十分必要。结核分枝杆菌扩增直接试验(AMTDT)是一种直接从标本中检测结核杆菌的方法
与其它普通高校不同,民族院校具有民族学生群体＂生活场＂和＂文化场＂的双重组织角色功能,从而使民族院校大学生思想政治工作具有极强的复杂性、敏感性和风险性.整合工作机制,优化资
上颌窦穿刺冲洗注药法是治疗慢性上颌窦炎的常用方法。在治疗过程中。需反复多次穿刺,造成病人精神紧张,增加病人痛苦,往往使疗程中断。为此,我科经过近一年的临床实践,采用
刚果：刚果共和国林业和环境部长亨利·琼博表示，希望印度的公司对该国的木材行业投资，同时也希望在科技、农业、铁路、信息技术、产业、卫生和医药行业与印度进行合作。
在1996年马拉维松巴市中心监狱进行的一项实施性研究之后,国家结核病控制规程(NTP)和监狱医疗服务机构为提高监狱内结核病(TB)的诊断和治疗水平进行了合作.对入狱以及在押犯
背景:马来西亚,沙巴,Kota Kinabalu及其周边社区。 目的:了解影响抗结核化疗病人依从性的诸因素,以及他们的结核病知识水平及和DOTS管理的改进意见。 设计:对2000年8月至9月