REL / Up:
[[로직,logic]] - [[논리,logic]] [[논리학,logic]]
[[심벌,symbol]] - [[기호,symbol]]
rel
[[연결사,connective]] esp. [[논리연결사,logical_connective]]
[[표기법,notation]]

<<tableofcontents>>
= 본문 =


= Twins =
[[WpEn:List_of_logic_symbols]] = https://en.wikipedia.org/wiki/List_of_logic_symbols

= wikiadmin =
[[Date(2023-11-06T22:12:20)]]
[[논리표기법,logic_notation]] <- 페이지 만들려다 말고 이 페이지('''논리기호,logic_symbol''')만들었다. 페이지명이 맘에 안들어서 (∵ '사전의 표제어'로 좀 부적합한듯 - Ggl:"logic notation" - 보면 'encyclopedic' site의 independent entry로 존재하지 않음) ... 보통 [[논리기호,logic_symbol]]이라 하는 듯 . 그래서 여기 만듦.
논리학의 여러 표기법들에 대한 잡다한/ symbol에서 좀 벗어난 / .... 내용은 저거 만들어서 저기 적을까?
----
(tmp, cleanup, merge)
근데 logic notation이란 이름 처음 생각한 곳은 [[WpEn:Polish_notation#Polish_notation_for_logic]]
{ [[Date(2023-11-07T09:30:44)]]
''입력 귀찮아서 피연산자 기호를 $\phi\to p,\,\psi\to q$ 로 했음 / 대문자는 연산자. / 작성중 연산자에도 p가 있길래 [[아래첨자,subscript]] ,,p,,로 처리함. ''
||개념                              ||일반적 표기[* 'conventional notation'] ||Polish 표기[* i.e. [[prefix_notation]] ] ||(개념 wikipedia link 등) ||
||[[부정,negation]]                 ||￢p    ||Np    ||https://en.wikipedia.org/wiki/Negation ||
||[[material_conditional]]          ||p→q    ||Cpq   ||https://en.wikipedia.org/wiki/Material_conditional material conditional ||
||[[disjunction]]                   ||p∨q    ||Apq   ||https://en.wikipedia.org/wiki/Disjunction ||
||[[conjunction]]                   ||p∧q    ||Kpq   ||https://en.wikipedia.org/wiki/Logical_conjunction MathWorld:LogicalConjunction ? MathWorld:Conjunction ? ||
||[[non-conjunction]]               ||p|q    ||Dpq   ||https://en.wikipedia.org/wiki/Sheffer_stroke ( [[nonconjunction]] / [[Sheffer_stroke]] ) ||
||[[biconditional]]                 ||p↔q     ||Epq or Qpq ||https://en.wikipedia.org/wiki/Biconditional ||
||[[universal_quantifier]]          ||∀,,p,,p ||Π,,p,,p  ||https://en.wikipedia.org/wiki/Universal_quantification universal quantifier ||
||[[existential_quantifier]]        ||∃,,p,,p ||Σ,,p,,p  ||https://en.wikipedia.org/wiki/Existential_quantification existential quantifier ||
||[[verum]]                         ||⊤       ||V        ||https://en.wikipedia.org/wiki/Verum ||
||[[possibility]]                   ||◇p      ||Mp or Δp ||([[modal_logic]] [[WpEn:Modal_logic]] [[양상논리,modal_logic]]) ||
||[[necessity]]                     ||□p      ||Lp or Γp ||(〃) ||

}