Actions

Multiple-languages Language Multiple-languages Vocabulary: Logic

From Polyglot Club WIKI

< Language‎ | Multiple-languages‎ | Vocabulary
This lesson can still be improved. EDIT IT NOW! & become VIP
Rate this lesson:
0.00
(0 votes)

Hello polyglots, 😀


On this page you will find a part of the Sci–Tech Index, a project for science and technology learners.

cmn-Hans-CN: 科目 cmn-Latn.Pinyin-CN: kēmù deu-Latn-DE: Fach [n] eng-Latn-US: subject fra-Latn-FR: matière [f] jpn-Jpan-JP: 科目 jpn-Hrkt-JP: か↑もく rus-Cyrl-RU: предме́т
逻辑学 luóji xué Logik [f] logic logique [f] 論理学 ろ↑んり↓がく ло́гика
形式逻辑 xíngshì luóji formale Logik formal logic logique formelle 形式論理 け↑いしきろ↓んり форма́льная ло́гика
经典逻辑,标准逻辑 jǐngdiǎn luóji, biǎozhǔn luóji klassische Logik classical logic, standard logic logique [f] classique 古典論理,標準論理 こ↑てんろ↓んり,ひょ↑うじゅんろ↓んり класси́ческая ло́гика
非经典逻辑,替代逻辑 fēi jīngdiǎn luóji, tìdài luóji nichtklassische Logik non-classical logic, alternative logic logique [f] non classique 非古典論理 ひ↑こてんろ↓んり некласси́ческие ло́гики
非形式逻辑 fēi xíngshì luóji informelle Logik informal logic logique informelle 非形式論理 ひ↑けいしきろ↓んり неформа́льная ло́гика

Main[edit | edit source]

Formal Logic[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
矛盾 máodùn Kontradiktion [f] contradiction proposition contradiction [f], antilogie [f] 矛盾 む↑じゅん противоре́чие
解释 jiěshì Interpretation [f] interpretation symbol; formal language interprétation [f] 解釈 か↓いしゃく толкова́ние
形式语言 xíngshì yǔyán formale Sprache formal language langage formel 形式言語 け↑いしきげ↓んご форма́льный язы́к
必要条件 bìyào tiáojiàn notwendige Bedingung necessary condition necessity condition nécessaire 必要条件 ひ↑つようじょ↓うけん необходи́мое усло́вие
充分必要条件 chōngfèn bìyào tiáojiàn notwendige und hinreichende Bedingung necessary and sufficient condition sufficiency condition nécessaire et suffisante 必要十分条件 ひ↑つよう↓じゅ↑うぶんじょ↓うけん необходи́мое усло́вие и доста́точное усло́вие
必要性 bìyào xìng Notwendigkeit [f] necessity statement; material implimentation nécessité [f] 必要性 ひ↑つようせい необходи́мость
充分性 chōngfèn xìng Hinlänglichkeit [f] sufficiency statement; material implimentation suffisance [f] 十分性 じゅ↑うぶんせい доста́точность
充分条件 chōngfèn tiáojiàn hinreichende Bedingung sufficient condition sufficiency condition suffisante 十分条件 じゅ↑うぶんじょ↓うけん доста́точное усло́вие
syntax syntaxe [f] си́нтаксис
恒真式 héngzhēn shì Tautologie [f] tautology well-formed formula tautologie [f] 恒真式,トートロジー こ↑うし↓んしき,ト↑ート↓ロジー тавтоло́гией

Classical Logic[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
前件 qián jiàn Antezedens [n] antecedent hypothesis; proposition antécédent [m] 前件 ぜ↑んけん антецеде́нт
后件 hòu jiàn Sukzedens [n] consequent hypothesis; proposition conséquent [m] 後件 こ↑うけん сле́дствие, консекве́нт
解释 jiěshì Erklärung [f] explanation statement; description; causality; logical consequence explication [f] 説明 せ↑つめい объясне́ние
假说 jiǎshō Hypothese [f] hypothesis [pl:hypotheses] explanation; phenomenon hypothèse [f] 仮説 か↑せつ гипо́теза
蕴涵 yùnhán Implikation [f] logical consequence, entailment statement déduction [f] logique 論理的帰結 ろ↑んりてき↓き↑けつ умозаключе́ние
现象 xiànxiàng Phänomen [n] phenomenon [pl:phenomena] phénomène [m] 現象 げ↑んしょう фено́мен
前提 qiántí Prämisse [f], Vordersatz [m] premise, premiss argument; logical consequence prémisse [f] 前提 ぜ↑んてい посы́лка
充足理由律 chōngzú lǐyóu lǜ Satz [m] vom zureichenden Grund [m] principle of sufficient reason reason; causality principe [f] de raison suffisante 充足理由律 じゅ↑うそくりゆ↓うりつ зако́н доста́точного основа́ния
命题 mìngtí Aussage [f] proposition proposition [f] 命題 め↑いだい пропози́ция
可靠性 kěkào xìng Korrektheit [f] soundness validity correction [f] 健全性 け↑んぜんせい
有效性 yǒuxiào xìng Allgemeingültigkeit [f] validity premise; tautology validité [f] 妥当性 だ↑とうせい общезна́чимость [ж]
law of thought
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
思维规律,思考规律 sīwéi guǐlǜ, sīkǎo guīlǜ Denkgesetz [n] law of thought loi [f] de la pensée 思考の原理 し↑こうのげ↓んり
同一律 tóngyī lǜ Identitätsprinzip [n] law of identity, principle of identity principe [m] d'identité 同一律,同一原理 ど↓ういちりつ,ど↑ういつげ↓んり зако́н то́ждества
无矛盾律,矛盾律 wú máodùn lǜ, máodùn lǜ Satz [m] vom ausgeschlossenen Widerspruch, Satz [m] vom Widerspruch law of non-contradiction, principle of non-contradiction, law of contradiction, principle of contradiction principe [m] de non-contradiction, principe [m] de contradiction 無矛盾律,矛盾律 む↑むじゅ↓んりつ,む↑じゅ↓んりつ зако́н непротиворечия, зако́н противоречия
排中律 páizhōng lǜ Satz [m] vom ausgeschlossenen Dritten law of excluded middle, principle of excluded middle, law of the excluded third, principle of the excluded third principe [m] du tiers exclu 排中律 は↑いちゅ↓うりつ зако́н исключённого тре́тьего
Propositional Calculus[edit | edit source]
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
逻辑运算 luóji yùnsuàn logische Operation logical operation binary operation; well-formed formula opération [f] logique 論理演算 ろ↑んりえ↓んざん логи́ческая опера́ция
logical connective
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
逻辑运算符,逻辑联结词 luóji yùnsuàn fú, luóji liánjié cí Logische Verknüpfung logical connective, logical operator, sentential connective, sentential operator logical operation connecteur [m] logique 論理演算子,論理結合子 ろ↑んりえんざ↓んし,ろ↑んりけつご↓うし логи́ческими опера́циями
谢费尔竖线 Xièfèi'ěr shùxiàn shefferscher Strich alternative denial, Sheffer stroke negation; conjunction barre [f] de Sheffer 否定論理積,シェファーの棒記号 ひ↑ていろんりせ↓き,シェ↑ファーの↓ぼ↑うき↓ごう штрих Ше́ффера
合取,与 héqǔ, yǔ Konjunktion [f] conjunction set <mathematical logic> conjonction [f] 論理積 ろ↓んりせき конъю́нкция
Gegenteil [n] converse statement implication [f] réciproque ぎゃ↑く обра́тная теоре́ма
析取,或 xīqǔ, huò Disjunktion [f] disjunction set <mathematical logic> disjonction [f] 論理和 ろ↑んり↓わ дизъю́нкция
互斥或,异或 hùchì huò, yì huò Kontravalenz [f], ausschließende Disjunktion, Antivalenz [f], Kontrajunktion [f], Alternation [f] exclusive disjunction, exclusive or disjonction exclusive, ou exclusif 排他的論理和 は↑いたてきろんり↓わ исключа́ющее «или»
或非 huò fēi NICHT-ODER-Gatter [n], Peirce-Funktion [f] joint denial non-ou [m] 否定論理和 ひ↑ていろんり↓わ
双条件 shuāng tiáojiàn Bikonditional [n] material biconditional biconditionnel [m], biconditionnel matériel
实质条件 shízhì tiáojiàn Subjunktion [f], Konditional [m], materiale Implikation material conditional, material implication conditionnel [m], implication matérielle 論理包含 ろ↑んりほ↓うがん имплика́ция
当且仅当 dāng qiě jǐn dāng material equivalence, if and only if 同値,等価 ど↓うち,と↓うか тогда́ и то́лько тогда́
fēi Negation [f] negation set <mathematical logic> négation [f] 否定 ひ↑てい отрица́ние, инве́рсия
陈述 chén shù Aussagesatz [n] statement
rule of inference
cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка
rule of inference
affirming the antecedent, modus ponens, modus ponendo ponens
denying the consequent, modus tollens, modus tollendo tollens

Non-Classical Logic[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка

Informal Logic[edit | edit source]

cmn-Hans-CN: 概念 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: gàiniàn cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Begriff [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: concept eng-Latn-US: prerequisite fra-Latn-FR: concept [m] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 概念 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: が↓いねん jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: конце́пция rus-Cyrl-RU: предпосы́лка

Appendix[edit | edit source]

Sentence[edit | edit source]

cmn-Hans-CN: 语句 cmn-Hans-CN: 前提 cmn-Latn.Pinyin-CN: yǔjù cmn-Latn.Pinyin-CN: qiántí deu-Latn-DE: Satz [m] deu-Latn-DE: Voraussetzung [f] eng-Latn-US: sentence eng-Latn-US: prerequisite fra-Latn-FR: phrase [f] fra-Latn-FR: préalable [m] jpn-Jpan-JP: 文章 jpn-Jpan-JP: 前提 jpn-Hrkt-JP: ぶ​↑んしょ↓う jpn-Hrkt-JP: ぜ↑んてい rus-Cyrl-RU: фра́за rus-Cyrl-RU: предпосы́лка

Symbol[edit | edit source]

Formal Logic[edit | edit source]

symbol cmn-Hans-CN: 含义 cmn-Latn.Pinyin-CN: hányì deu-Latn-DE: Bedeutung [f] eng-Latn-US: meaning fra-Latn-FR: signification [f] jpn-Jpan-JP: 意味 jpn-Hrkt-JP: い​↓​み rus-Cyrl-RU: значе́ние
logical connective
symbol cmn-Hans-CN: 含义 cmn-Latn.Pinyin-CN: hányì deu-Latn-DE: Bedeutung [f] eng-Latn-US: meaning fra-Latn-FR: signification [f] jpn-Jpan-JP: 意味 jpn-Hrkt-JP: い​↓​み rus-Cyrl-RU: значе́ние
≔, ≡, :⇔ definition
⊤, T, 1, ■ tautology
⊥, F, 0, □ contradition
¬, ~, ! negation
∧, &, · conjunction
∨, ∥, + disjunction
converse
↑, | alternative denial
→, ⇒, ⊃ material implication
joint denial
↔, ⇔, ≡, ⟷, ⟺ material equivalence
converse nonimplimencation
nonimplimencation
↮, ⊻, ⩒, ⩛, ⊕, ≢ exclusive disjunction

Resource under a Public License[edit | edit source]

name language link
forall x: Calgary. An Introduction to Formal Logic English https://forallx.openlogicproject.org/
Logic Primer Files English https://tellerprimer.ucdavis.edu/pdf
Open Logic Project English https://openlogicproject.org/
Modus ponens.png

Contributors


Create a new Lesson