Znaczenie słowa "选言证明" w słowniku

WYMOWA SŁOWA 选言证明

选	言	证	明
xuǎn	yán	zhèng	míng

CO OZNACZA SŁOWO 选言证明

Definicja słowa 选言证明 w słowniku

Dowód wyboru korzysta z dowodów wypowiedzenia. Rodzaj pośredniego dowodu. Z argumentem jako gałęzią wyboru, skonstruuj osąd, który wyczerpuje wszystkie możliwe wybory problemu, i wyciągnij wniosek, że oprócz tego wyboru, inne wybory są fałszywe i dochodzą do wniosku, że teza jest prawdziwa. Jeśli chcesz udowodnić, że światło nagle zgasło, ponieważ żarówka jest uszkodzona, możesz skonstruować słowa, aby ocenić, co następuje: "Światło nagle zgasło, albo z powodu przerwy w zasilaniu, ponieważ bezpiecznik został uszkodzony, z powodu usterki linii, albo dlatego, że żarówka była zepsuta. Następnie zgodnie z faktami ustalono, że pierwsze trzy stwierdzenia były fałszywe i stwierdzono, że teza była prawdziwa.

TŁUMACZENIE SŁOWA 选言证明

Poznaj tłumaczenie słowa 选言证明 na 25 języków dzięki naszemu tłumaczowi wielojęzycznemu.

Tłumaczenie słowa 选言证明 na inne języki w tej sekcji zostało uzyskane za pomocą automatycznego tłumaczenia statystycznego, gdzie podstawową jednostką tłumaczeniową jest słowo «选言证明».

• chiński: 选言证明
• Tłumacz chiński - hiszpański: Prueba Disyuntivo
• Tłumacz chiński - angielski: Disjunctive proof
• Tłumacz chiński - hindi: वियोगी सबूत
• Tłumacz chiński - arabski: دليل طباقي
• Tłumacz chiński - rosyjski: Дизъюнктивном доказательство
• Tłumacz chiński - portugalski: Prova disjuntiva
• Tłumacz chiński - bengalski: বিয়োজক অব্যয় সংক্রান্ত প্রমাণ
• Tłumacz chiński - francuski: La preuve disjonctive
• Tłumacz chiński - malajski: penyarak membuktikan
• Tłumacz chiński - niemiecki: Disjunktive Beweis
• Tłumacz chiński - japoński: 選言証明
• Tłumacz chiński - koreański: 논리합 증거
• Tłumacz chiński - jawajski: Disjunctive mbuktekaken
• Tłumacz chiński - wietnamski: Bằng chứng ly tiếp
• Tłumacz chiński - tamilski: பிரிநிலை இடைச்சொல் நிரூபிக்க
• Tłumacz chiński - marathi: विभाजक सिद्ध
• Tłumacz chiński - turecki: disjunctive kanıtlamak
• Tłumacz chiński - włoski: Prova disgiuntiva
• Tłumacz chiński - polski: Rozłączne dowód
• Tłumacz chiński - ukraiński: Диз´юнктивними доказ
• Tłumacz chiński - rumuński: Dovada disjunctiv
• Tłumacz chiński - grecki: Διαζευκτική απόδειξη
• Tłumacz chiński - afrikaans: Disjunkte bewys
• Tłumacz chiński - szwedzki: Disjunktiva bevis
• Tłumacz chiński - norweski: Disjunktiv bevis

KSIĄŻKI POWIĄZANE ZE SŁOWEM «选言证明»

Poznaj użycie słowa 选言证明 w następujących pozycjach bibliograficznych Książki powiązane ze słowem 选言证明 oraz krótkie ich fragmenty w celu przedstawienia kontekstu użycia w literaturze.

何谓逻辑学:

上面我们举的几个例子都属于直接证明。间接证明是通过弄清同论题的真与假相制约的其他论题是假的,从而证明这个论题是真的。间接证明又有两种形式:选言推定式和选言否定式。选言推定式又叫“反证法”。这种证明方法是先把和论题相矛盾的判断 ...

王晓菊, 2015

2005年全国工程硕士逻辑考前辅导教程及模拟题库 - 第 214 页

选言证法可以用公式表示如下,求证晻 p 证明: ( ] )令 P 或 q 或了成立( 2 )非 q ( 3 )非「( 4 )所以, P (选言推理否定肯定式)例如,对待历史文化遗产应采取批判继承的态度。对待历史文化遗产的态度,要么是全盘继承,要么是虚无主义,要么是批判继承。

杨武金, 2005

哲学大辞典: 逻辑学卷 - 第 348 页

选言证法亦称"选言论证"或"淘汰法"。运用选言推理的否定肯定式进行的论证。它通过确定由包括论题在内的几种可能情况所组成的选言判断中除论题外的其余可能都是虚假的,从而确定该论题的真实性。其论证过程是:为了证明论题? ,先将与论题!

《哲学大辞典・逻辑学卷》编辑委员会, 1988

审计工作大全 - 第 28 页

与直接审计证明相比,间接审计证明的特点在千,它并不是用论据直接地证明论题的真实性,而是通过否定与原论题相矛盾的判断即反论题,只要确立了反论题的虚假性,就能引出原论题的真实性。间接审计证明通常打反证法和选言证法两种。 1 ·反证法。

张魁峰, 1990

20世纪墨学硏究史 - 第 253 页

例加以分析了墨家关于"言" (命题) "谓" (判断)的论说;对比亚里士多德逻辑的五谓(类、别、差、撰、寓)讨论了《墨经》中三种谓词 ... 又举例证明"或"是选言推理,不限于选言判断,并分析其推理方式的特征在于"问故观宜"、"取此择彼" ;其特点为只有双支式而无 ...

郑杰文, 2002

逻辑考前辅导教程 - 第 94 页

2 )直接证明与间接证明( 1 )直接证明直接证明就是从论据的真实直接推出论题的真实的一种证明方法。直接论证特点就在于它从论题 ... 第三,根据选言推理的否定肯定式,由" B "、" C "不能成立,推出" A "论题是真实的。穷举法是一种排除法。它把某一 ...

周建武, 2005

《战国策》与论辩术 - 第 189 页

齐王的这个思维过程典型地运用了选言证明的方法。选言证明即选言证法或称穷举法,它是先列举该对象的所有可能情况,然后排除某一种情况以外的所有情况,由此说明没有被排除的某情况是正确的。选言证明在论辩、演讲等场合运用广泛。据《史记,陈 ...

王晶雄, ‎商景龙, ‎管秀, 2002

微软的选秀秘密 - 第 81 页

这种对选言判断的抵制思想被称为"认知错觉"。就像视力错觉一样,你对这种奇怪的倾向可能心知肚明,但是却很难真正摆脱它的影响。大量的研究证明了选言判断效应的影响。心理学家阿莫斯·特韦尔斯基( AmosTversky )和埃尔达·雪弗尔( EldarShafir ) ...

庞德斯通, 2004

人工智能 - 第 218 页

同样,消解法也包含了另一种推理规则,即选言推理平。选言推理这样认为:若有一公理式 E = > Ea ,且有另一公理式— Ea ... 消解法证明证明一条定理,一种显而易见的策略是:从公理集出发,用有效的推理规则向前探索,期望最终碰巧到达那条定理。

温斯顿, 2005

大学生竞技口才训练

选言判断包括:相容的选言判断(逻辑形式是: P 或者 q )和不相容的选言判断(逻辑形式是:要么 p ,要么 q )。所谓假言判断 ... 表达者为了让听众相信自己的判断是正确的,就必须使自己的观点有所依据,就需要以自己的论点为出发点提出证明论点的论据。

张子睿, 2005