Difference between r1.5 and the current

@@ -1,9 +1,11 @@

#noindex

##=====논리상수,logical_constant =,logical_constant 논리상수 logical_constant

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

= wpen =

= from wpen =

[[언어,language]] $\mathcal{L}$ 의 '''논리상수'''는, 모든 [[해석,interpretation]]에서 같은 [[의미값,semantic_value]]을 갖는 [[기호,symbol]].''(or [[심벌,symbol]])''

'''논리상수''의 두 중요한 타입은 [[논리연결사,logical_connective]]와 [[한정기호_정량자_quantifier]]가 있다.

'''논리상수'''의 두 중요한 타입은 [[논리연결사,logical_connective]]와 [[한정기호_정량자_quantifier]]가 있다.

몇 가지 예:
T "true"

@@ -19,6 +21,8 @@

QQQ 쌍조건문 logical_biconnective

----

WtEn:logical_constant

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

Sub:

from 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