Editing Language/Multiple-languages/Vocabulary/Mathematical-Logic

Jump to navigation Jump to search

Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.

The edit can be undone. Please check the comparison below to verify that this is what you want to do, and then publish the changes below to finish undoing the edit.

Latest revision Your text
Line 113: Line 113:
|}
|}


== Main ==
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 165: Line 166:
|}
|}


== Set Theory ==
=== Set Theory ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 275: Line 276:
| し↑ゅうい↓き ||  
| し↑ゅうい↓き ||  
|  ||  
|  ||  
| ||  
| о́бласть значе́ний ||  
|-
|-
| 连续统 ||  
| 连续统 ||  
Line 345: Line 346:
| が↑いえんせい ||  
| が↑いえんせい ||  
|  ||  
|  ||  
| экстенсиона́льность [ж] ||  
| объёмность [ж] ||  
|-
|-
| 单位元 ||  
| 单位元 ||  
Line 465: Line 466:
| ち↓いき ||  
| ち↓いき ||  
|  ||  
|  ||  
| о́бласть значе́ний фу́нкции, мно́жество значе́ний фу́нкции ||  
| о́бласть значе́ний, мно́жество значе́ний ||  
|-
|-
| 关系 ||  
| 关系 ||  
Line 529: Line 530:
| 全集 ||  
| 全集 ||  
| quán jí ||  
| quán jí ||  
| Universalmenge [f], Allmenge [f], Grundmenge [f] ||
| Grundmenge [f], Universum [n] ||  
| universal set || universe
| universe || set
| ensemble référentiel ||
| 全体集合，普遍集合 ||
| ぜ↑んたいしゅ↓うごう，ふ↑へんしゅ↓うごう ||
|  ||
| универса́льное мно́жество ||
|-
| 全类 ||
| quán lèi ||
| Universum [n] ||  
| universe || class
| univers [m] ||  
| univers [m] ||  
| 宇宙 ||  
| 宇宙 ||  
| う↓ちゅう ||  
| う↓ちゅう ||
|  ||  
|  ||  
|  ||  
| универса́льный класс ||
|-
|-
| 基本元素 ||  
| 基本元素 ||  
Line 1,246: Line 1,237:
|}
|}


=== Axiomatic Set Theory ===
==== Axiomatic Set Theory ====
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,405: Line 1,396:
|}
|}


== Proof Theory ==
=== Proof Theory ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,448: Line 1,439:
|}
|}


== Model Theory ==
=== Model Theory ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,511: Line 1,502:
|}
|}


== Computability Theory ==
=== Computability Theory ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,544: Line 1,535:
|}
|}


== Type Theory ==
=== Type Theory ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,627: Line 1,618:
|}
|}


== Algebraic Logic ==
=== Algebraic Logic ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,648: Line 1,639:
|}
|}


=== Boolean Algebra ===
==== Boolean Algebra ====
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 1,696: Line 1,687:
|}
|}


<center>
== Appendix ==
https://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn3tab.svg/240px-Venn3tab.svg.png
=== Sentence ===
</center>
{| class="wikitable sortable"
! 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]
! eng-Latn-US: concept !! eng-Latn-US: prerequisite
! fra-Latn-FR: concept [m] !! fra-Latn-FR: préalable [m]
! jpn-Jpan-JP: 概念 !! jpn-Jpan-JP: 前提
! jpn-Hrkt-JP: が↓いねん !! jpn-Hrkt-JP: ぜ↑んてい
! pes-Aran-IR: مَفهوم !! pes-Aran-IR: پیش‌نیاز
! rus-Cyrl-RU: конце́пция !! rus-Cyrl-RU: предпосы́лка
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|-
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|  ||
|}


{{Sci-Tech-Index-Menu}}
=== Symbol ===
==== Set Theory ====
{| class="wikitable sortable"
! symbol
! cmn-Hans-CN: 含义
! cmn-Latn.Pinyin-CN: hányì
! deu-Latn-DE: Bedeutung [f]
! eng-Latn-US: meaning
! fra-Latn-FR: signification [f]
! jpn-Jpan-JP: 意味
! jpn-Hrkt-JP: い​↓​み
! pes-Aran-IR: مَعنى
! rus-Cyrl-RU: значе́ние
|-
|
|
|
|
|
|
|
|
|
|
|-
| =
|
|
|
| is equal to
|
|
|
|
|
|-
| ≠
|
|
|
| is not equal to
|
|
|
|
|
|-
| ∈
|
|
|
| is element of
|
|
|
|
|
|-
| ∉
|
|
|
| is not element of
|
|
|
|
|
|-
| ∋
|
|
|
| contains member
|
|
|
|
|
|-
| ∌
|
|
|
| does not contain member
|
|
|
|
|
|-
| ⊂
|
|
|
| is subset of; is proper subset of
|
|
|
|
|
|-
| ⊃
|
|
|
| is superset of; is proper superset of
|
|
|
|
|
|-
| ⊆
|
|
|
| is subset of
|
|
|
|
|
|-
| ⊇
|
|
|
| is superset of
|
|
|
|
|
|-
| ⊄
|
|
|
| is not subset of; is not proper subset of
|
|
|
|
|
|-
| ⊅
|
|
|
| is not superset of; is not proper superset of
|
|
|
|
|
|-
| ⊈
|
|
|
| is not subset of
|
|
|
|
|
|-
| ⊉
|
|
|
| is not superset of
|
|
|
|
|
|-
| ⊊
|
|
|
| is subset and not proper subset of
|
|
|
|
|
|-
| ⊋
|
|
|
| is superset and not proper superset of
|
|
|
|
|
|-
| ''A'', ''B'', ''C'', ...
|
|
|
| set
|
|
|
|
|
|-
| ''a'', ''b'', ''c'', ...
|
|
|
| element
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|
|}


==Other Lessons==
==== Proof Theory ====
* [[Language/Multiple-languages/Vocabulary/Longest-words|Longest words]]
{| class="wikitable sortable"
* [[Language/Multiple-languages/Vocabulary/Electromagnetism|Electromagnetism]]
! symbol
* [[Language/Multiple-languages/Vocabulary/Must‐Know-Words-for-Polyglots|Must‐Know Words for Polyglots]]
! cmn-Hans-CN: 含义
* [[Language/Multiple-languages/Vocabulary/Similarities-between-French-and-Italian|Similarities between French and Italian]]
! cmn-Latn.Pinyin-CN: hányì
* [[Language/Multiple-languages/Vocabulary/Statistics|Statistics]]
! deu-Latn-DE: Bedeutung [f]
* [[Language/Multiple-languages/Vocabulary/Thermodynamics|Thermodynamics]]
! eng-Latn-US: meaning
* [[Language/Multiple-languages/Vocabulary/I-love-you-in-all-languages|I love you in all languages]]
! fra-Latn-FR: signification [f]
* [[Language/Multiple-languages/Vocabulary/Emotions-in-many-languages|Emotions in many languages]]
! jpn-Jpan-JP: 意味
* [[Language/Multiple-languages/Vocabulary/Transparent-Words|Transparent Words]]
! jpn-Hrkt-JP: い​↓​み
* [[Language/Multiple-languages/Vocabulary/Musical-Notes-in-Many-Languages|Musical Notes in Many Languages]]
! pes-Aran-IR: مَعنى
<span links></span>
! rus-Cyrl-RU: значе́ние
|-
|
|
|
|
|
|
|
|
|
|  
|-
| ⊢
|
|
|
| proof
|
|
|
|
|  
|-
|
|
|
|
|
|
|
|
|
|
|}
 
==== Model Theory ====
{| class="wikitable sortable"
! symbol
! cmn-Hans-CN: 含义
! cmn-Latn.Pinyin-CN: hányì
! deu-Latn-DE: Bedeutung [f]
! eng-Latn-US: meaning
! fra-Latn-FR: signification [f]
! jpn-Jpan-JP: 意味
! jpn-Hrkt-JP: い​↓​み
! pes-Aran-IR: مَعنى
! rus-Cyrl-RU: значе́ние
|-
|
|
|
|
|
|
|
|
|
|  
|-
| ⊨
|
|
|
| model
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|
|}
 
=== Resource under a Public License ===
{| class="wikitable sortable"
! name
! language
! link
|-
|
|
|
|-
|
|
|
|}
 
<center>
https://upload.wikimedia.org/wikipedia/commons/thumb/6/6d/Venn3tab.svg/240px-Venn3tab.svg.png
</center>
 
{{Sci-Tech-Index-Menu}}

Please note that all contributions to Polyglot Club WIKI may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here.
You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see PolyglotClub-WIKI:Copyrights for details). Do not submit copyrighted work without permission!

Cancel Editing help (opens in new window)

Templates used on this page:

Retrieved from "https://polyglotclub.com/wiki/Language/Multiple-languages/Vocabulary/Mathematical-Logic"