Difference between r1.4 and the current
@@ -19,8 +19,10 @@
QQQ 쌍조건문 logical_biconnective
----
= https://en.wikipedia.org/wiki/Logical_constant
Up: [[논리,logic]]/[[논리학,logic]] [[상수,constant]] symbol([[기호,symbol]] [[심벌,symbol]])
----
WpEn:Logical_constant
[[WpEn:Logical_constant]]
= https://en.wikipedia.org/wiki/Logical_constant
https://plato.stanford.edu/entries/logical-constants/
Up: [[논리,logic]]/[[논리학,logic]] [[상수,constant]] symbol([[기호,symbol]] [[심벌,symbol]])
wpen ¶
언어,language $\displaystyle \mathcal{L}$ 의 논리상수는, 모든 해석,interpretation에서 같은 의미값,semantic_value을 갖는 기호,symbol.(or 심벌,symbol)
'''논리상수''의 두 중요한 타입은 논리연결사,logical_connective와 한정기호_정량자_quantifier가 있다.
'''논리상수''의 두 중요한 타입은 논리연결사,logical_connective와 한정기호_정량자_quantifier가 있다.
몇 가지 예:
T "true"
F "false"
¬ "not"
∧ "and"
∨ "or"
→ "implies", "if...then"
∀ "for all"
∃ "there exists", "for some"
= "equals"
T "true"
F "false"
¬ "not"
∧ "and"
∨ "or"
→ "implies", "if...then"
∀ "for all"
∃ "there exists", "for some"
= "equals"
QQQ 쌍조건문 logical_biconnective
pagename?
logical constant : not in kms... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=logical con
logical constant : not in kms... https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=logical con