수리논리,mathematical_logic

수리논리, 수리논리학, mathematical logic






1. 기호 symbols


기호 TeX
¬ 부정,negation \neg $\neg$
논리곱 WtEn:conjunction esp WtEn:logical_conjunction \wedge $\wedge$
논리합 WtEn:disjunction esp WtEn:logical_disjunction \vee $\vee$
for all - 보편양화사(universal quantification) \forall $\forall$
존재 there exists - 존재양화사(existential quantification) \exists $\exists$
∃! 유일하게 존재 \exists! $\exists!$
1 유일하게 존재 - 존재성,existence유일성,uniqueness \exists^1 $\exists{}^1$
존재하지 않음 \nexists 안되면 \not\exists $\not\exists$
implication .. 더 명확히는 material_implication ? WtEn:material_implication WpEn:Material_implication \rightarrow $\rightarrow$
\leftarrow $\leftarrow$
\leftrightarrow $\leftrightarrow$
\Rightarrow $\Rightarrow$
\Leftarrow $\Leftarrow$
\Leftrightarrow $\Leftrightarrow$
⊧(22a7) models QQQ 아래 행과 차이점? Ggl:22a7 22a8 difference
⊨(22a8) true, double-turnstile WpEn:Double_turnstile WpKo:이중_턴스틸
⊢(22a2) right tack, turnstile WtEn:turnstile \vdash $\vdash$
\dashv $\dashv$
nand
nor
xor

TBW
$\exists!=\exists{}^1$

mimeTeX는 \nexists를 지원하지 않으며 \not\exists라고 해야 함
기타 mimeTeX에서 지원 안하는것은
$\lnot \land \lor \models \vDash$

REL:
classical 명제논리,propositional_logic
connective(w)s esp. logical_connective(w) i.e. 논리연산자,logical_operator { logical connective / logical operator ... 번역은 보통 (논리) 연결사 = (논리) 연산자 ... WtEn:logical_connective Ggl:logical connectives Ndict:논리연산자 Ndict:논리연결사 Up: 연결사,connective(WtEn:connective NdEn:connective언어,language 언어학,linguistics에서 다른 뜻 있음 ... curr also at RR:연결사,connective et RR:논리연결사,logical_connective) Up: 연산자,operator ... Ggl:논리연산자 "논리연산자"}



2. 역사



MKLINK / Cmp

1. Cmp mathematical_logic vs symbolic_logic - 수리논리 vs 기호논리
기호논리,symbolic_logic or 기호논리학,symbolic_logic { symbolic logic 기호논리 기호논리학 WtEn:symbolic_logic WpEn:Symbolic_logic (redir.) ... Ndict:기호논리학 Ggl:기호논리학 Ndict:symbolic logic Ggl:symbolic logic symbolic+logic }
{
AKA 기호논리학 symbolic logic, 형식논리 formal logic ?
대체적으로 수리논리와 동의어 같은데, 혹시 아닌 경우가 있다면 무엇인지, 그리고 어디가 다른건지?
2022-09-04 proofwiki에 따르면, 수리논리는 기호논리,symbolic_logic의 sub-branch.

... Ggl:수리논리 기호논리 Ggl:mathematical.logic symbolic.logic
}

2. Cmp mathematical_logic vs formal_logic - 수리논리 vs 형식논리
MKL 형식논리,formal_logic OR 형식논리학,formal_logic (w) { formal logic 형식논리 형식논리학 ... WtEn:formal_logic WpKo:형식논리학
{
... Ggl:수리논리 형식논리 Ggl:mathematical.logic formal.logic
}







Tmp twins:
WtEn:mathematical_logic

semi-twins:
[https]수학백과: 형식논리학
첫문장 "우리는 이 문서에서 형식논리학(Formal Logic)을 기호논리학(Symbolic Logic) 또는 수리논리학(Mathematical Logic)의 동의어로 본다."