#noindex TODO CHK BACKLINK [[참,truth]]을 만들까 말까... tbd Rel. [[참,true]] ... opp [[거짓,false]]. -> [[불_대수,Boolean_algebra]] ( rel [[불_논리,Boolean_logic]] [[불_식,Boolean_expression]] ) ---- 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" ---- Ndict:truth KmsE:truth { Sub: [[Date(2024-02-06T00:44:48)]] 현재 4개 [[진리함수,truth_function]] [[진리집합,truth_set]] [[진리표,truth_table]] [[진리값,truth_value]] } MW:Truth