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

From Polyglot Club WIKI
Jump to navigation Jump to search
Line 186: Line 186:
|  
|  
|-
|-
| ¬, ~
| ¬, ~, !
| negation
| negation
|  
|  
Line 241: Line 241:
|  
|  
|-
|-
| →
| →, ⇒, ⊃
| material implication
| material implication
|  
|  
Line 263: Line 263:
|  
|  
|-
|-
| ↔, ⇔, ≡, ⟺
| ↔, ⇔, ≡, ⟷, ⟺
| material equivalence
| material equivalence
|  
|  

Revision as of 20:41, 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.