Language/Multiple-languages/Vocabulary/Logic

Hello polyglots, 😀

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

In progress.

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

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
formal language
proposition
syntax
tautology	well-formed formula							tautologie [f]

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
conjunction	set <mathematical logic>							conjonction [f]
converse	statement <logic>							implication [f] réciproque
disjunction	set <mathematical logic>							disjonction [f]
exclusive disjunction, exclusive or								disjonction [f] exclusive, ou [m] exclusif
joint denial, nor								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]

* Appendix *

Adjective & Adjective Phrase; Verb & Verb Phrase

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

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: соста́вная часть

Related Free Educational Resources

branch	name	link	language	public license

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

Sci–Tech Index

Introduction

---

Philosophy

Logic

Metaphysics

---

Mathematics Mathematical Logic Category Theory Number Theory Algebra Geometry Probability Theory Statistics Information Theory Mathematical Analysis Topology Discrete Mathematics Computational Science Physics Mechanics └ Structural Analysis └ Tribology Thermodynamics Optics Acoustics Electromagnetism Electronic Component Metrology └ Unit of Measurement Particle Physics Biology Cell Biology Chemistry Chemical Element Material Science └ Metallurgy Computer Science Technical Drawing Mechanical Engineering Mechanism Machine Element Metalworking Hydraulics and Pneumatics Theory of Inventive Problem Solving Software Engineering Computer Language Systems Science Chaos Theory Cybernetics └ Control Theory Robotics

Anthropology Psychology Linguistics

Sci–Tech Index is under the CC BY 4.0 license