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

From Polyglot Club WIKI
Jump to navigation Jump to search
Tags: Mobile edit Mobile web edit
Line 120: Line 120:
|-
|-
|  
|  
|
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|}
{| class="wikitable sortable"
|+ 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: конце́пция
|-
|
|
|
|
|
|
|
|
|
|
|-
| ⊤
| truth
|
|
|
|
|
|
|
|
|-
| ⊥
| falsity
|
|
|
|
|
|
|
|
|-
| ¬, ~
| negation
|
|
|
|
|
|
|
|
|-
| ∧, &
| conjunction
|
|
|
|
|
|
|
|
|-
| ∨
| disjunction
|
|
|
|
|
|
|
|
|-
| ←
| converse
|
|
|
|
|
|
|
|
|-
| ↑, <nowiki>|</nowiki>
| alternative denial
|
|
|
|
|
|
|
|
|-
| →
| material implication
|
|
|
|
|
|
|
|
|-
| ↓
| joint denial
|
|
|
|
|
|
|
|
|-
| ↔, ⇔, ≡, ⟺
| material equivalence
|
|
|
|
|
|
|
|
|-
| ↚
| converse nonimplimencation
|
|
|
|
|
|
|
|
|-
| ↛
| nonimplimencation
|
|
|
|
|
|
|
|
|-
| ↮, ⊻, ⩒, ⩛, ⊕, ≢
| exclusive disjunction
|  
|  
|  
|  

Revision as of 20:36, 21 February 2022

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: предпосы́лка

Modus ponens.png

* 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: конце́пция
⊤ truth
⊥ falsity
¬, ~ 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

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=128258"