Difference between revisions of "Language/Multiple-languages/Vocabulary/Logic"

From Polyglot Club WIKI
Jump to navigation Jump to search
Line 151: Line 151:
|-
|-
| proposition ||  
| proposition ||  
| ||  
| 命题 ||  
| ||  
| mìngtí ||  
| ||  
| Aussage [f] ||  
| ||  
| proposition [f] ||  
| ||  
| 命題 ||  
| ||  
| め↑いだい ||  
| ||  
| пропози́ция ||  
|-
|-
| sufficiency || statement; material implimentation
| sufficiency || statement; material implimentation
Line 181: Line 181:
|  ||  
|  ||  
|  ||  
|  ||  
| syntaxe [f] ||
|  ||  
|  ||  
|  ||  
|  ||  
| ||
| си́нтаксис ||  
|  ||  
|-
|-
| tautology || well-formed formula
| tautology || well-formed formula
| ||  
| 恒真式 ||  
| ||
| héngzhēn shì ||  
|  ||  
| Tautologie [f] ||  
| Tautologie [f] ||  
| ||  
| tautologie [f] ||  
| ||  
| 恒真式，トートロジー ||  
| ||  
| こ↑うし↓んしき，ト↑ート↓ロジー ||
| тавтоло́гией ||  
|-
|-
|  ||  
|  ||  
Line 225: Line 225:
|  ||  
|  ||  
|-
|-
| antedent || hypothetical proposition
| antecedent || hypothesis; proposition
| ||  
| 前件 ||  
| ||  
| qián jiàn ||  
| ||  
| Antezedens [n] ||  
| ||  
| antécédent [m] ||  
| ||  
| 前件 ||  
| ||  
| ぜ↑んけん ||  
| ||
| антецеде́нт ||  
|-
| conclusion ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||  
|-
|-
| consequence, entailment || statement
| consequent || hypothesis; proposition
| ||  
| 后件 ||  
| ||  
| hòu jiàn ||  
| ||  
| Sukzedens [n] ||  
| ||  
| conséquent [m] ||  
| ||  
| 後件 ||  
| ||  
| こ↑うけん ||  
| ||  
| сле́дствие, консекве́нт ||  
|-
|-
| consequent || hypothetical proposition
| explanation || statement; description; causality; logical consequence
|  ||
| 解释 ||  
|  ||
| jiě shì ||  
|  ||
| Erklärung [f] ||  
|  ||
| explication [f] ||  
|  ||
| 説明 ||  
|  ||
| せ↑つめい ||  
|  ||
| объясне́ние ||  
|-
| explanation || statement; causality; consequence
| ||  
| ||  
| ||  
| ||  
| ||  
| ||  
| ||  
|-
|-
| hypothesis [pl:hypotheses] || explanation; phenomenon
| hypothesis [pl:hypotheses] || explanation; phenomenon
| ||  
| 假说 ||  
| ||  
| jiǎshō ||  
| ||  
| Hypothese [f] ||  
| ||  
| hypothèse [f] ||  
| ||  
| 仮説 ||  
| ||  
| か↑せつ ||  
| ||  
| гипо́теза ||  
|-
|-
| hypothetical proposition || hypothesis; proposition
| logical consequence, entailment || statement
| ||  
| 蕴涵 ||  
| ||  
| yùn hán ||  
| ||  
| Implikation [f] ||  
| ||  
| déduction [f] logique ||  
| ||  
| 論理的帰結 ||  
| ||  
| ろ↑んりてききけつ ||  
| ||  
| умозаключе́ние ||  
|-
|-
| phenomenon [pl:phenomena] ||  
| phenomenon [pl:phenomena] ||  
| ||  
| 现象 ||  
| ||  
| xiànxiàng ||  
| ||  
| Phänomen [n] ||  
| ||  
| phénomène [m] ||  
| ||  
| 現象 ||  
| ||  
| げ↑んしょう ||  
| ||  
| фено́мен ||  
|-
|-
| premise || argument; conclusion
| premise, premiss || argument; logical consequence
| ||  
| 前提 ||  
| ||  
| qiántí ||  
| ||  
| Prämisse [f], Vordersatz [m] ||  
| ||  
| prémisse [f] ||  
| ||  
| 前提 ||  
| ||  
| ぜ↑んてい ||  
| ||  
| посы́лка ||  
|-
|-
| principle of sufficient reason || reason; causality
| principle of sufficient reason || reason; causality
| ||  
| 充足理由律 ||  
| ||  
| chōngzú lǐyóu lǜ ||  
| ||  
| Satz [m] vom zureichenden Grund ||  
| ||  
| principe [f] de raison suffisante ||  
| ||  
| 充足理由律 ||  
| ||  
| じゅ↑うそくりゆ↓うりつ ||  
| ||  
| зако́н доста́точного основа́ния ||  
|-
|-
| proposition ||  
| proposition ||  

Revision as of 00:44, 15 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 [f] 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 non classique [f] 非古典論理 ひ↑こてんろ↓んり некласси́ческие ло́гики
informal logic 非形式逻辑 fēi xíngshì luóji informelle Logik logique [f] 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] 必要性 ひ↑つようせい необходи́мость
proposition 命题 mìngtí Aussage [f] proposition [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, Standard 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ùn há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
soundness validity
validity premise; tautology
law of thought
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
law of identity, principle of identity
law of non-contradiction, principle of non-contradiction
law of excluded middle, principle of excluded middle
Propositional Calculus, Propositional Logic, Statement Logic, Sentential Calculus, Sentential 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: предпосы́лка
logical connective
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 connecteur [m] logique
alternative denial negation; conjunction
conjunction set <mathematical logic> conjonction [f]
converse statement implication [f] réciproque
disjunction set <mathematical logic> disjonction [f]
exclusive disjunction, exclusive or disjonction [f] exclusive, ou [m] exclusif
joint denial non-ou [m]
biconditional, material biconditional biconditionnel [m], biconditionnel [m] matériel
conditional, material conditional, material implication conditionnel [m], implication [f] matérielle
negation set <mathematical logic> négation [f]
statement
rule of inference
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, Alternative 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: конце́пция
logical connective
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

Unmaintained! Moved to a Codeberg repository. Use Foam with VSCodium to visualise the content.

Sci–Tech Index

40px-3-4.svg.png Introduction

Philosophy

40px-1-4.svg.png Logic

40px-0-4.svg.png Metaphysics

Mathematics

40px-2-4.svg.png Mathematical Logic

40px-0-4.svg.png Category Theory


40px-2-4.svg.png Number Theory


40px-1-4.svg.png Algebra


40px-1-4.svg.png Geometry


40px-1-4.svg.png Probability Theory

40px-1-4.svg.png Statistics

40px-1-4.svg.png Information Theory


40px-1-4.svg.png Mathematical Analysis


40px-1-4.svg.png Topology

40px-1-4.svg.png Discrete Mathematics


40px-1-4.svg.png Computational Science

Physics

40px-1-4.svg.png Mechanics

└ 40px-1-4.svg.png Structural Analysis

└ 40px-1-4.svg.png Tribology

40px-1-4.svg.png Thermodynamics


40px-1-4.svg.png Optics


40px-1-4.svg.png Acoustics


40px-1-4.svg.png Electromagnetism

40px-1-4.svg.png Electronic Component


40px-0-4.svg.png Metrology

└ 40px-1-4.svg.png Unit of Measurement


40px-0-4.svg.png Particle Physics

Biology

40px-1-4.svg.png Cell Biology

Chemistry

40px-1-4.svg.png Chemical Element

40px-0-4.svg.png Material Science

└ 40px-0-4.svg.png Metallurgy

40px-0-4.svg.png Computer Science
40px-1-4.svg.png Technical Drawing
Mechanical Engineering

40px-0-4.svg.png Mechanism

40px-1-4.svg.png Machine Element

40px-1-4.svg.png Metalworking


40px-0-4.svg.png Hydraulics and Pneumatics


40px-1-4.svg.png Theory of Inventive Problem Solving

Software Engineering

40px-1-4.svg.png Computer Language

Systems Science

40px-0-4.svg.png Chaos Theory

40px-0-4.svg.png Cybernetics

└ 40px-0-4.svg.png Control Theory

40px-0-4.svg.png Robotics

40px-0-4.svg.png Anthropology

40px-0-4.svg.png Psychology
40px-0-4.svg.png Linguistics

Sci–Tech Index is under the CC BY 4.0 license

Retrieved from "https://polyglotclub.com/wiki/index.php?title=Language/Multiple-languages/Vocabulary/Logic&oldid=129094"