Sub:
논리연결사,logical_connective
[
edit
]
wpen
¶
언어,language
$\displaystyle \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
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
logical.constant
logical.constant
Retrieved from http://www.red-ruby.com/wiki/wiki.php/논리상수,logical_constant
last modified 2023-12-13 09:14:59