Sub:
 [[논리연결사,logical_connective]]

= wpen =
[[언어,language]] $\mathcal{L}$ 의 '''논리상수'''는, 모든 [[해석,interpretation]]에서 같은 [[의미값,semantic_value]]을 갖는 [[기호,symbol]].''(or [[심벌,symbol]])''
'''논리상수''의 두 중요한 타입은 [[논리연결사,logical_connective]]와 [[한정기호_정량자_quantifier]]가 있다.

몇 가지 예:
T	"true"
F	"false"
¬	"not"
∧	"and"
∨	"or"
→	"implies", "if...then"
∀	"for all"
∃	"there exists", "for some"
=	"equals"

QQQ 쌍조건문 logical_biconnective 

----
[[WpEn:Logical_constant]]
= https://en.wikipedia.org/wiki/Logical_constant

https://plato.stanford.edu/entries/logical-constants/

Up: [[논리,logic]]/[[논리학,logic]] [[상수,constant]] symbol([[기호,symbol]] [[심벌,symbol]])

pagename?
logical constant : not in kms... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=logical+con

Naver:logical.constant
Google:logical.constant