#noindex
##==진리,truth =,truth 진리 truth
TODO CHK BACKLINK

[[참,truth]]을 만들까 말까... tbd

MKL
Rel. [[참,true]] ... opp [[거짓,false]]. -> [[불_대수,Boolean_algebra]] ( rel [[불_논리,Boolean_logic]] [[불_식,Boolean_expression]] )
[[공리,axiom]] - [[형식체계,formal_system]]에서 무조건 '''진리,truth'''로 간주됨? chk

----
Sub:
[[필연적진리,necessary_truth]] =필연적진리,necessary_truth =,necessary_truth 필연적진리 necessary_truth
{
'''necessary truth'''
필연적 참, 필연적 진리

[[문장,sentence]]은 그 자신을 결론으로 갖는 부당한 [[논증,argument]]이 존재하지 않을 경우에 오직 그 경우에만 '''필연적으로 참'''이다.
i.e.
'''필연적으로 참'''인 문장은 모든 전제 집합의 귀결이며, ///// QQQ 전제집합 원어
모든 전제 집합의 귀결인 어떠한 문장도 '''필연적으로 참'''이다.
(이유를 살펴보자)
문장 S가 '''필연적 참'''이라고 상정하고, 그 S를 [[결론,conclusion]]으로 가지는 논증을 고려해 보자.
그 논증은 [[전제,premise]]들이 참이고 결론이, 즉 S가, 거짓인 것이 불가능한 경우에 오직 그 경우에만 타당하다. // [[타당성,soundness]]
그러나 S는 '''필연적 참'''이므로 S가 거짓이 되는 것은 불가능하다.
따라서 전제가 참이면서 동시에 S가 거짓이 되는 것도 불가능하다는 것은 명백하다.
(소가 달 위로 뛰어오르는 것이 불가능하다면 작은 개가 그것을 보며 웃는 동안 소가 달 위로 뛰어오르는 것도 역시 불가능하다.)
그러므로 그 논증은 타당하다.
다른 한편으로,
S가 ''모든'' 전제 집합의 귀결이면 그것은 필연적 참인 것으로만 이루어진 전제 집합의 귀결이기도 하다.
따라서 이 전제들이 참인 모든 상황 하에서 S는 참이다.
그런데 필연적으로 참인 전제들이 참이 되는 모든 상황이란, 
바로 우리가 상상할 수 있는 모든 상황을 다 망라하고 있는 것이므로 S는 필연적 참이다.
따라서, S는 필연적 참일 경우에 오직 그 경우에만 모든 전제 집합의 귀결이다.
예: 앞에서 주어진 필연적 조건문은
 잔디는 녹색이다.
의 귀결이다. ∵ 그 조건문이 거짓인 상황은 존재하지 않으므로 이 문장이 참이면서 그 조건문이 거짓인 상황도 존재할 수 없기 때문이다.

Up: [[필연성,necessity]]w [[진리,truth]]
} // necessary truth Ggl:"necessary truth" Ndict:"necessary truth"
(pagelist on Truth:)
[[PageList(truth)]]
----
Ndict:truth
KmsE:truth
{
Sub:
[[Date(2024-02-06T00:44:48)]] 현재 4개
[[진리함수,truth_function]]
[[진리집합,truth_set]]
[[진리표,truth_table]]
[[진리값,truth_value]]
}
MW:Truth