网络百科频道
学习全面知识

尚可名片

百科首页 > 正文

反事实条件句逻辑（反事实条件句逻辑）

101次浏览 | 更新时间：2023-02-15

来源：网络整理

精选百科

本文由作者推荐

反事实条件句逻辑

基本介绍

运用数理逻辑方法对反事实条件句进行处理、刻划的一种逻辑理论。有人以可能世界理论为基础，阐述了反事实条件句的性质，给出了它的真值条件，建立了一些不同的逻辑系统。

反事实条件句逻辑相关的文章

大理国（中国历史上在西南一带建立的多民族政权）

大理国（白语：Dablit guaif，937年—1094年，1096年—1254年），是中国西南地区的最后一个王国。大理国由白族首领段思平所建立，其政治中心位于洱海一带，首都为羊苴咩城（今云南大理市大理镇），疆域包括今中国云南省及其周边地区、缅甸北部、老挝北部等地，与南诏疆域大致相同。

穆罕默德·巴迪亚

穆罕默德·巴迪亚，穆斯林兄弟会最高领导人，最高决策机构指导局主席，也被称作总导师，“穆尔西背后的人”，意指巴迪亚可以“操控”穆尔西。穆尔西2013年7月初被军方解除总统职务后，埃及多地爆发大规模游行和冲突，造成重大人员伤亡。埃及检方曾于2013年7月10日向巴迪亚等人发出逮捕令。2013年8月20日

1（自然数之一）

1，读音yī，是自然数之一。1是阿拉伯数字符号，是最小的正整数，也是介于0和2之间的整数，最小的正奇数。1是一个有理数，是一位数，也是单数，1是Heegner数。

甜瓜（葫芦科黄瓜属植物）

甜瓜（学名：Cucumis melo L.）是葫芦科(Cucurbitaceae)黄瓜属(Cucumis)植物，别名白兰瓜、哈密瓜、香瓜。甜瓜原产于印度和非洲国家，后广泛引种于世界温带至热带地区，中国各地广泛栽培。甜瓜喜光照，喜温耐热，常生长在土层深厚、通透性好、不易积水的沙土中。

德黑兰（伊朗的首都）

德黑兰（波斯语：تهران‎、Tehrān 英文：Tehran）是伊朗的首都，同时也是德黑兰省省会，总人口达8,429,807人，是伊朗最大的城市，也是西亚地区最大的城市之一。

河西走廊（中国西北的交通要道，古丝绸之路干线）

河西走廊（英语：Gansu Corrido），又称“甘肃走廊”，位于中国甘肃省境内，是连接中原和西北地区的交通要道、古丝绸之路的干线。走廊整体狭长，呈西北-东南走向，东起乌鞘山，西至玉门关，全长1200多公里，最宽处约300公里，海拔高度1500米，西宽东窄，由一系列西北-东南走向的高山和谷地组成，