Topics:
[[명제,proposition]] [[명제논리,propositional_logic]] [[영차논리,zeroth-order_logic]]
[[술어,predicate]] [[술어논리,predicate_logic]] [[일차논리,first-order_logic]]

MKLINK
[[형식체계,formal_system]] - curr at [[논리,logic]]
[[형식논리,formal_logic]]

Related:
[[집합론,set_theory]]
[[명제논리,propositional_logic]]
[[불_논리,Boolean_logic]]
[[불_대수,Boolean_algebra]]
[[이산수학,discrete_math]]

MKLINK
[[기호논리,symbolic_logic]]

<<tableofcontents>>

= 기호 symbols =

||기호 || ||TeX || ||
||¬ ||부정,negation ||\neg  ||$\neg$ ||
||∧ ||논리곱       ||\wedge  ||$\wedge$ ||
||∨ ||논리합      ||\vee   ||$\vee$ ||
||∀ ||for all - 보편양화사(universal quantification) ||\forall   ||$\forall$ ||
||∃ ||존재 there exists - 존재양화사(existential quantification) ||\exists ||$\exists$ ||
||∃! ||유일하게 존재 ||\exists! ||$\exists!$ ||
||∄ ||존재하지 않음 ||\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$

[[WpEn:List_of_logic_symbols]]

= 역사 =
[[https://terms.naver.com/entry.naver?docId=2426190&cid=60208&categoryId=60208 수학의 세계: 수리논리학의 역사]]

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

밀접: [[전산학,compsci]]

Twins:
[[WpSimple:Mathematical_logic]]
http://www.aistudy.com/logic/mathmatical_logic.htm
https://everything2.com/title/Mathematical+Logic
[[WpKo:수리논리학]]
[[WpEn:Mathematical_logic]]
https://encyclopediaofmath.org/wiki/Mathematical_logic
https://proofwiki.org/wiki/Definition:Mathematical_Logic

semi-twins:
[[https://terms.naver.com/entry.naver?docId=5669291&cid=60207&categoryId=60207 수학백과: 형식논리학]]
 첫문장 "우리는 이 문서에서 형식논리학(Formal Logic)을 기호논리학(Symbolic Logic) 또는 수리논리학(Mathematical Logic)의 동의어로 본다."

Up: [[수학,math]] [[논리,logic]]