수리논리, 수리논리학, mathematical logic
Topics:
명제,proposition 명제논리,propositional_logic 영차논리,zeroth-order_logic
술어,predicate 술어논리,predicate_logic 일차논리,first-order_logic
시퀀트,sequent - curr 시퀀트,sequent
명제,proposition 명제논리,propositional_logic 영차논리,zeroth-order_logic
술어,predicate 술어논리,predicate_logic 일차논리,first-order_logic
시퀀트,sequent - curr 시퀀트,sequent
Related:
집합론,set_theory
명제논리,propositional_logic
불_논리,Boolean_logic
불_대수,Boolean_algebra
이산수학,discrete_math
집합론,set_theory
명제논리,propositional_logic
불_논리,Boolean_logic
불_대수,Boolean_algebra
이산수학,discrete_math
1. 기호 symbols ¶
기호 | TeX | ||
¬ | 부정,negation | \neg | |
∧ | 논리곱 conjunction esp logical_conjunction | \wedge | |
∨ | 논리합 disjunction esp logical_disjunction | \vee | |
∀ | for all - 보편양화사(universal quantification) | \forall | |
∃ | 존재 there exists - 존재양화사(existential quantification) | \exists | |
∃! | 유일하게 존재 | \exists! | |
∃1 | 유일하게 존재 - 존재성,existence ∧ 유일성,uniqueness | \exists^1 | |
∄ | 존재하지 않음 | \nexists 안되면 \not\exists | |
→ | implication .. 더 명확히는 material_implication ? material_implication Material_implication | \rightarrow | |
← | \leftarrow | ||
↔ | \leftrightarrow | ||
⇒ | \Rightarrow | ||
⇐ | \Leftarrow | ||
⇔ | \Leftrightarrow | ||
⊧(22a7) | models QQQ 아래 행과 차이점? 22a7 22a8 difference | ||
⊨(22a8) | true, double-turnstile Double_turnstile 이중_턴스틸 | ||
⊢(22a2) | right tack, turnstile turnstile | \vdash | |
\dashv | |||
⊼ | nand | ||
⊽ | nor | ||
⊻ | xor |
TBW
mimeTeX는 \nexists를 지원하지 않으며 \not\exists라고 해야 함
기타 mimeTeX에서 지원 안하는것은
기타 mimeTeX에서 지원 안하는것은
REL:
classical 명제논리,propositional_logic
connective(w)s esp. logical_connective(w) i.e. 논리연산자,logical_operator { logical connective / logical operator ... 번역은 보통 (논리) 연결사 = (논리) 연산자 ... logical_connective logical connectives 논리연산자 논리연결사 Up: 연결사,connective(connective connective는 언어,language 언어학,linguistics에서 다른 뜻 있음 ... curr also at 연결사,connective et 논리연결사,logical_connective) Up: 연산자,operator ... 논리연산자 "논리연산자"}
classical 명제논리,propositional_logic
connective(w)s esp. logical_connective(w) i.e. 논리연산자,logical_operator { logical connective / logical operator ... 번역은 보통 (논리) 연결사 = (논리) 연산자 ... logical_connective logical connectives 논리연산자 논리연결사 Up: 연결사,connective(connective connective는 언어,language 언어학,linguistics에서 다른 뜻 있음 ... curr also at 연결사,connective et 논리연결사,logical_connective) Up: 연산자,operator ... 논리연산자 "논리연산자"}
2. 역사 ¶
MKLINK / Cmp
1. Cmp mathematical_logic vs symbolic_logic - 수리논리 vs 기호논리
기호논리,symbolic_logic or 기호논리학,symbolic_logic { symbolic logic 기호논리 기호논리학 symbolic_logic Symbolic_logic (redir.) ... 기호논리학 기호논리학 symbolic logic symbolic logic symbolic+logic }
{
AKA 기호논리학 symbolic logic, 형식논리 formal logic ?
}
기호논리,symbolic_logic or 기호논리학,symbolic_logic { symbolic logic 기호논리 기호논리학 symbolic_logic Symbolic_logic (redir.) ... 기호논리학 기호논리학 symbolic logic symbolic logic symbolic+logic }
{
AKA 기호논리학 symbolic logic, 형식논리 formal logic ?
대체적으로 수리논리와 동의어 같은데, 혹시 아닌 경우가 있다면 무엇인지, 그리고 어디가 다른건지?
... 수리논리 기호논리 mathematical.logic symbolic.logic}
2. Cmp mathematical_logic vs formal_logic - 수리논리 vs 형식논리
MKL 형식논리,formal_logic OR 형식논리학,formal_logic (w) { formal logic 형식논리 형식논리학 ... formal_logic 형식논리학
{
... 수리논리 형식논리 mathematical.logic formal.logic
}
MKL 형식논리,formal_logic OR 형식논리학,formal_logic (w) { formal logic 형식논리 형식논리학 ... formal_logic 형식논리학
{
... 수리논리 형식논리 mathematical.logic formal.logic
}
셋 비교
... mathematical.logic formal.logic symbolic.logic
... mathematical.logic formal.logic symbolic.logic
... mathematical.logic formal.logic symbolic.logic
... mathematical.logic formal.logic symbolic.logic
밀접: 전산학,compsci
semi-twins:
수학백과: 형식논리학
첫문장 "우리는 이 문서에서 형식논리학(Formal Logic)을 기호논리학(Symbolic Logic) 또는 수리논리학(Mathematical Logic)의 동의어로 본다."
수학백과: 형식논리학
첫문장 "우리는 이 문서에서 형식논리학(Formal Logic)을 기호논리학(Symbolic Logic) 또는 수리논리학(Mathematical Logic)의 동의어로 본다."
Twins:
Mathematical_logic
http://www.aistudy.com/logic/mathmatical_logic.htm
https://everything2.com/title/Mathematical Logic
수리논리학
Mathematical_logic
https://encyclopediaofmath.org/wiki/Mathematical_logic
https://proofwiki.org/wiki/Definition:Mathematical_Logic
... 수리논리 "mathematical logic" mathematical logic mathematical logic mathematical logic
Mathematical_logic
http://www.aistudy.com/logic/mathmatical_logic.htm
https://everything2.com/title/Mathematical Logic
수리논리학
Mathematical_logic
https://encyclopediaofmath.org/wiki/Mathematical_logic
https://proofwiki.org/wiki/Definition:Mathematical_Logic
... 수리논리 "mathematical logic" mathematical logic mathematical logic mathematical logic