수리논리,mathematical_logic

수리논리,mathematical_logic (rev. 1.18)






[edit]

1. 기호 symbols


기호 TeX
¬ 부정,negation \neg $\neg$
∧ 논리곱 \wedge $\wedge$
∨ 논리합 \vee $\vee$
∀ for all - 보편양화사(universal quantification) \forall $\forall$
∃ 존재 there exists - 존재양화사(existential quantification) \exists $\exists$
∃! 유일하게 존재 \exists! $\exists!$
∃1 유일하게 존재 - 존재성,existence and 유일성,uniqueness \exists^1 $\exists{}^1$
∄ 존재하지 않음 \not\exists $\not\exists$
→ \rightarrow $\rightarrow$
← \leftarrow $\leftarrow$
↔ \leftrightarrow $\leftrightarrow$
⇒ \Rightarrow $\Rightarrow$
⇐ \Leftarrow $\Leftarrow$
⇔ \Leftrightarrow $\Leftrightarrow$
⊧(22a7) models
⊨(22a8) true, double-turnstile
⊢(22a2) right tack, turnstile \vdash $\vdash$
\dashv $\dashv$
⊼ nand
⊽ nor
⊻ xor

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

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


[edit]

2. 역사


AKA 기호논리학 symbolic logic, 형식논리 formal logic
대체적으로 수리논리와 동의어 같은데, 혹시 아닌 경우가 있다면 무엇인지, 그리고 어디가 다른건지?
2022-09-04 수리논리는 기호논리,symbolic_logic의 sub-branch. (proofwiki)

밀접: 전산학,compsci


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

Up: 수학,math 논리,logic