= 논리학의 literal =
'''리터럴'''은 atomic formula(aka 'atom' or 'prime formula') or its negation.
'''리터럴'''이란, [[원자식,atomic_formula]]([[원자식,atom]]) 혹은 그것의 [[부정,negation]].

'''리터럴'''들의 [[disjunction]]은 [[절,clause]].

[[아톰,atom]]

= PL의 literal =
숫자리터럴, - [[수,number]] [[숫자,digit]]
https://narucode.org/0/숫자_리터럴

정수리터럴 integer_literal
[[정수,integer]]
[[WpEn:Integer_literal]]
 = https://en.wikipedia.org/wiki/Integer_literal

문자리터럴 character_literal
[[문자,character]] [[리터럴,literal]]
C : https://en.cppreference.com/w/c/language/character_constant
C++ : https://en.cppreference.com/w/cpp/language/character_literal
WpEn:Character_literal
 = https://en.wikipedia.org/wiki/Character_literal

문자열리터럴, - [[문자열,string]]
[[문자열리터럴,string_literal]]
https://narucode.org/0/문자열_리터럴

Boolean 리터럴 Boolean_literal
https://narucode.org/0/불린_리터럴

function_literal
{
WpEn:Function_literal
 redir to => WpEn:Anonymous_function
 "anonymous_function (function_literal, lambda_abstraction, lambda_function, lambda_expression or block) is a function definition that is not bound to an identifier."
}

...

bmks en

https://www.gavilan.edu/csis/languages/literals.html
"This paper covers the history and use of literals (or constants) in programming languages"


----
PL:

https://narucode.org/0/리터럴

[[WpEn:Literal_(computer_programming)]]
 = https://en.wikipedia.org/wiki/Literal_%28computer_programming%29
 = https://en.wikipedia.org/wiki/Literal_(computer_programming)

[[WpKo:리터럴]]
 = https://ko.wikipedia.org/wiki/리터럴

----
Logic:

[[WpEn:Literal_(mathematical_logic)]]
 = https://en.wikipedia.org/wiki/Literal_%28mathematical_logic%29