List_of_logic_symbols = https://en.wikipedia.org/wiki/List_of_logic_symbols

2023-11-07
논리표기법,logic_notation <- 페이지 만들려다 말고 이 페이지(논리기호,logic_symbol)만들었다. 페이지명이 맘에 안들어서 (∵ '사전의 표제어'로 좀 부적합한듯 - logic notation - 보면 'encyclopedic' site의 independent entry로 존재하지 않음) ... 보통 논리기호,logic_symbol이라 하는 듯 . 그래서 여기 만듦.
논리학의 여러 표기법들에 대한 잡다한/ symbol에서 좀 벗어난 / .... 내용은 저거 만들어서 저기 적을까?

(tmp, cleanup, merge)
근데 logic notation이란 이름 처음 생각한 곳은 Polish_notation#Polish_notation_for_logic
{ 2023-11-07
입력 귀찮아서 피연산자 기호를 $\displaystyle \phi\to p,\,\psi\to q$ 로 했음 / 대문자는 연산자. / 작성중 연산자에도 p가 있길래 아래첨자,subscript _p로 처리함.

개념	일반적 표기[1]	Polish 표기[2]	(개념 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 LogicalConjunction ? 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	∀pp	Πpp	https://en.wikipedia.org/wiki/Universal_quantification universal quantifier
existential_quantifier	∃pp	Σpp	https://en.wikipedia.org/wiki/Existential_quantification existential quantifier
verum	⊤	V	https://en.wikipedia.org/wiki/Verum
possibility	◇p	Mp or Δp	(modal_logic Modal_logic 양상논리,modal_logic)
necessity	□p	Lp or Γp	(〃)

}