Editing Language/Multiple-languages/Vocabulary/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 66: Line 66:
|}
|}


== Formal Logic ==
== Main ==
=== Formal Logic ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 94: Line 95:
| む↑じゅん ||  
| む↑じゅん ||  
| противоре́чие ||  
| противоре́чие ||  
|-
| 推论 ||
| tuīlùn ||
| Korollar ||
| corollary || theorem; deduction; statement
| corollaire [m], corolaire [m] ||
| 系 ||
| け↓い ||
| сле́дствие ||
|-
|-
| 解释 ||  
| 解释 ||  
Line 195: Line 187:
|}
|}


=== Classical Logic ===
==== Classical Logic ====
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 231: Line 223:
| 後件 ||  
| 後件 ||  
| こ↑うけん ||  
| こ↑うけん ||  
| консекве́нт ||  
| сле́дствие, консекве́нт ||  
|-
|-
| 解释 ||  
| 解释 ||  
Line 258: Line 250:
| 論理的帰結 ||  
| 論理的帰結 ||  
| ろ↑んりてき↓き↑けつ ||  
| ろ↑んりてき↓き↑けつ ||  
| сле́дствие ||  
| умозаключе́ние ||  
|-
|-
| 现象 ||  
| 现象 ||  
Line 390: Line 382:
|}
|}


==== Propositional Calculus ====
===== Propositional Calculus =====
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 430: Line 422:


{| class="wikitable sortable"
{| class="wikitable sortable"
|+ logical operator
|+ logical connective
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
! cmn-Latn.Pinyin-CN: gàiniàn !! cmn-Latn.Pinyin-CN: qiántí
Line 443: Line 435:
| luóji yùnsuàn fú, luóji liánjié cí ||  
| luóji yùnsuàn fú, luóji liánjié cí ||  
| Logische Verknüpfung ||  
| Logische Verknüpfung ||  
| logical operator, logical connective, sentential connective, sentential operator || logical operation
| logical connective, logical operator, sentential connective, sentential operator || logical operation
| connecteur [m] logique ||  
| connecteur [m] logique ||  
| 論理演算子，論理結合子 ||  
| 論理演算子，論理結合子 ||  
| ろ↑んりえんざ↓んし，ろ↑んりけつご↓うし  ||  
| ろ↑んりえんざ↓んし，ろ↑んりけつご↓うし  ||  
| логи́ческий опера́тор, логи́ческая свя́зка, пропозициона́льная свя́зка ||  
| логи́ческими опера́циями ||  
|-
|-
|  ||  
|  ||  
Line 483: Line 475:
| 逆 ||  
| 逆 ||  
| ぎゃ↑く ||  
| ぎゃ↑く ||  
| обра́тное утвержде́ние, обра́тная теоре́ма ||  
| обра́тная теоре́ма ||  
|-
|-
| 析取，或 ||  
| 析取，或 ||  
Line 625: Line 617:
|}
|}


=== Non-Classical Logic ===
==== Non-Classical Logic ====
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 646: Line 638:
|}
|}


== Informal Logic ==
=== Informal Logic ===
{| class="wikitable sortable"
{| class="wikitable sortable"
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
! cmn-Hans-CN: 概念 !! cmn-Hans-CN: 前提
Line 674: Line 666:
|  ||  
|  ||  
|  ||  
|  ||  
|}
== Appendix ==
=== Sentence ===
{| class="wikitable sortable"
! cmn-Hans-CN: 语句 !! cmn-Hans-CN: 前提
! cmn-Latn.Pinyin-CN: yǔjù !! cmn-Latn.Pinyin-CN: qiántí
! deu-Latn-DE: Satz [m] !! deu-Latn-DE: Voraussetzung [f]
! eng-Latn-US: sentence !! eng-Latn-US: prerequisite
! fra-Latn-FR: phrase [f] !! 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 ====
{| 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: い​↓​み
! rus-Cyrl-RU: значе́ние
|-
|
|
|
|
|
|
|
|
|
|-
|
|
|
|
|
|
|
|
|
|}
{| class="wikitable sortable"
|+ logical connective
! 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: い​↓​み
! rus-Cyrl-RU: значе́ние
|-
|
|
|
|
|
|
|
|
|-
| ≔, ≡, :⇔
|
|
|
| definition
|
|
|
|
|-
| ⊤, T, 1, ■
|
|
|
| tautology
|
|
|
|
|-
| ⊥, F, 0, □
|
|
|
| contradition
|
|
|
|
|-
| ¬, ~, !
|
|
|
| negation
|
|
|
|
|-
| ∧, &, ·
|
|
|
| conjunction
|
|
|
|
|-
| ∨, ∥, +
|
|
|
| disjunction
|
|
|
|
|-
| ←
|
|
|
| converse
|
|
|
|
|-
| ↑, <nowiki>|</nowiki>
|
|
|
| alternative denial
|
|
|
|
|-
| →, ⇒, ⊃
|
|
|
| material implication
|
|
|
|
|-
| ↓
|
|
|
| joint denial
|
|
|
|
|-
| ↔, ⇔, ≡, ⟷, ⟺
|
|
|
| material equivalence
|
|
|
|
|-
| ↚
|
|
|
| converse nonimplimencation
|
|
|
|
|-
| ↛
|
|
|
| nonimplimencation
|
|
|
|
|-
| ↮, ⊻, ⩒, ⩛, ⊕, ≢
|
|
|
| exclusive disjunction
|
|
|
|
|-
|
|
|
|
|
|
|
|
|}
=== Resource under a Public License ===
{| class="wikitable sortable"
! 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/
|-
|
|
|
|-
|
|
|
|}
|}


Line 681: Line 940:


{{Sci-Tech-Index-Menu}}
{{Sci-Tech-Index-Menu}}
==Other Lessons==
* [[Language/Multiple-languages/Vocabulary/False-Friends|False Friends]]
* [[Language/Multiple-languages/Vocabulary/Greetings-Where-are-you-going|Greetings Where are you going]]
* [[Language/Multiple-languages/Vocabulary/Must‐Know-Words-for-Polyglots|Must‐Know Words for Polyglots]]
* [[Language/Multiple-languages/Vocabulary/Collocations-with-have|Collocations with have]]
* [[Language/Multiple-languages/Vocabulary/Collocations-with-take|Collocations with take]]
* [[Language/Multiple-languages/Vocabulary/Emotions-in-many-languages|Emotions in many languages]]
* [[Language/Multiple-languages/Vocabulary/Similarities-between-French-and-Italian|Similarities between French and Italian]]
* [[Language/Multiple-languages/Vocabulary/Airport-in-Many-Languages|Airport in Many Languages]]
* [[Language/Multiple-languages/Vocabulary/Hydraulics-and-Pneumatics|Hydraulics and Pneumatics]]
* [[Language/Multiple-languages/Vocabulary/Animal-sounds-in-many-languages|Animal sounds in many languages]]
<span links></span>

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/Logic"