Difference between revisions of "Language/Multiple-languages/Vocabulary/Logic"
< Language | Multiple-languages | Vocabulary
Jump to navigation
Jump to search
(→Main) |
|||
Line 33: | Line 33: | ||
| xíngshì luóji || | | xíngshì luóji || | ||
| formale Logik || | | formale Logik || | ||
| logique | | logique formelle || | ||
| 形式論理 || | | 形式論理 || | ||
| け↑いしきろ↓んり || | | け↑いしきろ↓んり || | ||
Line 51: | Line 51: | ||
| fēi jīngdiǎn luóji, tìdài luóji || | | fēi jīngdiǎn luóji, tìdài luóji || | ||
| nichtklassische Logik || | | nichtklassische Logik || | ||
| logique | | logique [f] non classique || | ||
| 非古典論理 || | | 非古典論理 || | ||
| ひ↑こてんろ↓んり || | | ひ↑こてんろ↓んり || | ||
Line 60: | Line 60: | ||
| fēi xíngshì luóji || | | fēi xíngshì luóji || | ||
| informelle Logik || | | informelle Logik || | ||
| logique | | logique informelle || | ||
| 非形式論理 || | | 非形式論理 || | ||
| ひ↑けいしきろ↓んり || | | ひ↑けいしきろ↓んり || | ||
Line 499: | Line 499: | ||
| hùchì huò, yì huò || | | hùchì huò, yì huò || | ||
| Kontravalenz [f], ausschließende Disjunktion, Antivalenz [f], Kontrajunktion [f], Alternation [f] || | | Kontravalenz [f], ausschließende Disjunktion, Antivalenz [f], Kontrajunktion [f], Alternation [f] || | ||
| disjonction | | disjonction exclusive, ou exclusif || | ||
| 排他的論理和 || | | 排他的論理和 || | ||
| は↑いたてきろんり↓わ || | | は↑いたてきろんり↓わ || | ||
Line 517: | Line 517: | ||
| || | | || | ||
| || | | || | ||
| biconditionnel [m], biconditionnel | | biconditionnel [m], biconditionnel matériel || | ||
| || | | || | ||
| || | | || | ||
Line 527: | Line 527: | ||
| || | | || | ||
| || | | || | ||
| conditionnel [m], implication | | conditionnel [m], implication matérielle || | ||
| || | | || | ||
| || | | || |
Revision as of 07:25, 17 March 2022
Hello polyglots, 😀
On this page you will find a part of the Sci–Tech Index, a project for science and technology learners.
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
logic | 逻辑学 | luóji xué | Logik [f] | logique [f] | 論理学 | ろ↑んり↓がく | ло́гика | ||||||||
formal logic | 形式逻辑 | xíngshì luóji | formale Logik | logique formelle | 形式論理 | け↑いしきろ↓んり | форма́льная ло́гика | ||||||||
classical logic, standard logic | 经典逻辑,标准逻辑 | jǐngdiǎn luóji, biǎozhǔn luóji | klassischen Logik | logique [f] classique | 古典論理,標準論理 | こ↑てんろ↓んり,ひょ↑うじゅんろ↓んり | класси́ческая ло́гика | ||||||||
non-classical logic, alternative logic | 非经典逻辑,替代逻辑 | fēi jīngdiǎn luóji, tìdài luóji | nichtklassische Logik | logique [f] non classique | 非古典論理 | ひ↑こてんろ↓んり | некласси́ческие ло́гики | ||||||||
informal logic | 非形式逻辑 | fēi xíngshì luóji | informelle Logik | logique informelle | 非形式論理 | ひ↑けいしきろ↓んり | неформа́льная ло́гика | ||||||||
Main
Formal Logic
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
contradiction | proposition | 矛盾 | máodùn | Kontradiktion [f] | contradiction [f], antilogie [f] | 矛盾 | む↑じゅん | противоре́чие | |||||||
interpretation | symbol; formal language | 解释 | jiěshì | Interpretation [f] | interprétation [f] | 解釈 | か↓いしゃく | толкова́ние | |||||||
formal language | 形式语言 | xíngshì yǔyán | formale Sprache | langage formel | 形式言語 | け↑いしきげ↓んご | форма́льный язы́к | ||||||||
necessary condition | necessity | 必要条件 | bìyào tiáojiàn | notwendige Bedingung | condition nécessaire | 必要条件 | ひ↑つようじょ↓うけん | необходи́мое усло́вие | |||||||
necessary and sufficient condition | sufficiency | 充分必要条件 | chōngfèn bìyào tiáojiàn | notwendige und hinreichende Bedingung | condition nécessaire et suffisante | 必要十分条件 | ひ↑つよう↓じゅ↑うぶんじょ↓うけん | необходи́мое усло́вие и доста́точное усло́вие | |||||||
necessity | statement; material implimentation | 必要性 | bìyào xìng | Notwendigkeit [f] | nécessité [f] | 必要性 | ひ↑つようせい | необходи́мость | |||||||
sufficiency | statement; material implimentation | 充分性 | chōngfèn xìng | Hinlänglichkeit [f] | suffisance [f] | 十分性 | じゅ↑うぶんせい | доста́точность | |||||||
sufficient condition | sufficiency | 充分条件 | chōngfèn tiáojiàn | hinreichende Bedingung | condition suffisante | 十分条件 | じゅ↑うぶんじょ↓うけん | доста́точное усло́вие | |||||||
syntax | syntaxe [f] | си́нтаксис | |||||||||||||
tautology | well-formed formula | 恒真式 | héngzhēn shì | Tautologie [f] | tautologie [f] | 恒真式,トートロジー | こ↑うし↓んしき,ト↑ート↓ロジー | тавтоло́гией | |||||||
Classical Logic
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
antecedent | hypothesis; proposition | 前件 | qián jiàn | Antezedens [n] | antécédent [m] | 前件 | ぜ↑んけん | антецеде́нт | |||||||
consequent | hypothesis; proposition | 后件 | hòu jiàn | Sukzedens [n] | conséquent [m] | 後件 | こ↑うけん | сле́дствие, консекве́нт | |||||||
explanation | statement; description; causality; logical consequence | 解释 | jiěshì | Erklärung [f] | explication [f] | 説明 | せ↑つめい | объясне́ние | |||||||
hypothesis [pl:hypotheses] | explanation; phenomenon | 假说 | jiǎshō | Hypothese [f] | hypothèse [f] | 仮説 | か↑せつ | гипо́теза | |||||||
logical consequence, entailment | statement | 蕴涵 | yùnhán | Implikation [f] | déduction [f] logique | 論理的帰結 | ろ↑んりてききけつ | умозаключе́ние | |||||||
phenomenon [pl:phenomena] | 现象 | xiànxiàng | Phänomen [n] | phénomène [m] | 現象 | げ↑んしょう | фено́мен | ||||||||
premise, premiss | argument; logical consequence | 前提 | qiántí | Prämisse [f], Vordersatz [m] | prémisse [f] | 前提 | ぜ↑んてい | посы́лка | |||||||
principle of sufficient reason | reason; causality | 充足理由律 | chōngzú lǐyóu lǜ | Satz [m] vom zureichenden Grund | principe [f] de raison suffisante | 充足理由律 | じゅ↑うそくりゆ↓うりつ | зако́н доста́точного основа́ния | |||||||
proposition | 命题 | mìngtí | Aussage [f] | proposition [f] | 命題 | め↑いだい | пропози́ция | ||||||||
soundness | validity | 可靠性 | kěkào xìng | Korrektheit [f] | Correction [f] | 健全性 | け↑んぜんせい | ||||||||
validity | premise; tautology | 有效性 | yǒuxiào xìng | Allgemeingültigkeit [f] | validité [f] | 妥当性 | だ↑とうせい | общезна́чимость [ж] | |||||||
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
law of thought | 思维规律,思考规律 | sīwéi guǐlǜ, sīkǎo guīlǜ | Denkgesetz [n] | 思考の原理 | し↑こうのげ↓んり | ||||||||||
law of identity, principle of identity | 同一律 | tóngyī lǜ | Identitätsprinzip [n] | principe [m] d'identité | 同一律,同一原理 | ど↓ういちりつ,ど↑ういつげ↓んり | зако́н то́ждества | ||||||||
law of non-contradiction, principle of non-contradiction, law of contradiction, principle of contradiction | 无矛盾律,矛盾律 | wú máodùn lǜ, máodùn lǜ | Satz [m] vom ausgeschlossenen Widerspruch, Satz [m] vom Widerspruch | principe [m] de non-contradiction, principe [m] de contradiction | 無矛盾律,矛盾律 | む↑むじゅ↓んりつ,む↑じゅ↓んりつ | зако́н непротиворечия, зако́н противоречия | ||||||||
law of excluded middle, principle of excluded middle, law of the excluded third, principle of the excluded third | 排中律 | páizhōng lǜ | Satz [m] vom ausgeschlossenen Dritten | principe [m] du tiers exclu | 排中律 | は↑いちゅ↓うりつ | зако́н исключённого тре́тьего | ||||||||
Propositional Calculus
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
logical operation | binary operation; well-formed formula | ||||||||||||||
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка | ||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
logical connective, logical operator, sentential connective, sentential operator | logical operation | 逻辑运算符,逻辑联结词 | luóji yùnsuàn fú, luóji liánjié cí | Logische Verknüpfung | connecteur [m] logique | 論理演算子,論理結合子 | ろ↑んりえんざ↓んし,ろ↑んりけつご↓うし | логи́ческими опера́циями | |||||||||
alternative denial, Sheffer stroke | negation; conjunction | 谢费尔竖线 | Xièfèi'ěr shùxiàn | shefferscher Strich | barre [f] de Sheffer | 否定論理積,シェファーの棒記号 | ひ↑ていろんりせ↓き,シェ↑ファーの↓ぼ↑うき↓ごう | штрих Ше́ффера | |||||||||
conjunction | set <mathematical logic> | 合取,与 | héqǔ, yǔ | Konjunktion [f] | conjonction [f] | 論理積 | ろ↓んりせき | конъю́нкция | |||||||||
converse | statement | 逆 | nì | Gegenteil [n] | implication [f] réciproque | 逆 | ぎゃ↑く | обра́тная теоре́ма | |||||||||
disjunction | set <mathematical logic> | 析取,或 | xīqǔ, huò | Disjunktion | disjonction [f] | 論理和 | ろ↑んり↓わ | дизъю́нкция | |||||||||
exclusive disjunction, exclusive or | 互斥或,异或 | hùchì huò, yì huò | Kontravalenz [f], ausschließende Disjunktion, Antivalenz [f], Kontrajunktion [f], Alternation [f] | disjonction exclusive, ou exclusif | 排他的論理和 | は↑いたてきろんり↓わ | исключа́ющее «или» | ||||||||||
joint denial | 或非 | huò fēi | NICHT-ODER-Gatter [n], Peirce-Funktion [f] | non-ou [m] | 否定論理和 | ひ↑ていろんり↓わ | |||||||||||
biconditional, material biconditional | biconditionnel [m], biconditionnel matériel | ||||||||||||||||
conditional, material conditional, material implication | conditionnel [m], implication matérielle | ||||||||||||||||
negation | set <mathematical logic> | négation [f] | |||||||||||||||
statement | |||||||||||||||||
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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
Sentence
eng-Latn-US: concept | eng-Latn-US: prerequisite | 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] | 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: предпосы́лка |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Symbol
Formal Logic
symbol | eng-Latn-US: concept | cmn-Hans-CN: 概念 | cmn-Latn.Pinyin-CN: gàiniàn | deu-Latn-DE: Begriff [m] | fra-Latn-FR: concept [m] | jpn-Jpan-JP: 概念 | jpn-Hrkt-JP: が↓いねん | rus-Cyrl-RU: конце́пция |
---|---|---|---|---|---|---|---|---|
symbol | eng-Latn-US: concept | cmn-Hans-CN: 概念 | cmn-Latn.Pinyin-CN: gàiniàn | deu-Latn-DE: Begriff [m] | fra-Latn-FR: concept [m] | jpn-Jpan-JP: 概念 | jpn-Hrkt-JP: が↓いねん | pes-Aran-IR: مَفهوم | 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 | ||||||||
Process
eng-Latn-US: process | eng-Latn-US: constituent | cmn-Hans-CN: 过程 | cmn-Hans-CN: 构件 | cmn-Latn.Pinyin-CN: guòchéng | cmn-Latn.Pinyin-CN: gòujiàn | deu-Latn-DE: Prozess [m] | deu-Latn-DE: Bestandteil [m] | fra-Latn-FR: procès [m] | fra-Latn-FR: composant [m] | jpn-Jpan-JP: 過程 | jpn-Jpan-JP: 構材 | jpn-Hrkt-JP: か↑てい | jpn-Hrkt-JP: こ↑うざい | rus-Cyrl-RU: проце́сс | rus-Cyrl-RU: соста́вная часть |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Resource under a Public License
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](/wiki/images/a/af/Modus_ponens.png)
Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.