made via [[논리상수,logical_constant]].

MKLINK
[[뜻,meaning]]
[[의미,meaning]]
[[의미론,semantics]]
{
[[strictness]]? 에 따라

strict_semantics
https://wiki.haskell.org/Strict_semantics
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된 [[함수값,function_value]]를 이끌어내는?

non-strict_semantics

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

}
[[값,value]]

Compare
[[진리값,truth_value]] → [[VG:진리값,truth_value]]