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
필연적 참, 필연적 진리
필연적진리,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는 필연적 참일 경우에 오직 그 경우에만 모든 전제 집합의 귀결이다.
예: 앞에서 주어진 필연적 조건문은
i.e.
필연적으로 참인 문장은 모든 전제 집합의 귀결이며, ///// QQQ 전제집합 원어
모든 전제 집합의 귀결인 어떠한 문장도 필연적으로 참이다.
(이유를 살펴보자)
문장 S가 필연적 참이라고 상정하고, 그 S를 결론,conclusion으로 가지는 논증을 고려해 보자.
그 논증은 전제,premise들이 참이고 결론이, 즉 S가, 거짓인 것이 불가능한 경우에 오직 그 경우에만 타당하다. // 타당성,soundness
그러나 S는 필연적 참이므로 S가 거짓이 되는 것은 불가능하다.
따라서 전제가 참이면서 동시에 S가 거짓이 되는 것도 불가능하다는 것은 명백하다.
(소가 달 위로 뛰어오르는 것이 불가능하다면 작은 개가 그것을 보며 웃는 동안 소가 달 위로 뛰어오르는 것도 역시 불가능하다.)
그러므로 그 논증은 타당하다.
다른 한편으로,
S가 모든 전제 집합의 귀결이면 그것은 필연적 참인 것으로만 이루어진 전제 집합의 귀결이기도 하다.
따라서 이 전제들이 참인 모든 상황 하에서 S는 참이다.
그런데 필연적으로 참인 전제들이 참이 되는 모든 상황이란,
바로 우리가 상상할 수 있는 모든 상황을 다 망라하고 있는 것이므로 S는 필연적 참이다.
따라서, S는 필연적 참일 경우에 오직 그 경우에만 모든 전제 집합의 귀결이다.
예: 앞에서 주어진 필연적 조건문은
잔디는 녹색이다.
의 귀결이다. ∵ 그 조건문이 거짓인 상황은 존재하지 않으므로 이 문장이 참이면서 그 조건문이 거짓인 상황도 존재할 수 없기 때문이다.truth
truth
{
Sub:
2024-02-06 현재 4개
진리함수,truth_function
진리집합,truth_set
진리표,truth_table
진리값,truth_value
}
Truth
truth
{
Sub:
2024-02-06 현재 4개
진리함수,truth_function
진리집합,truth_set
진리표,truth_table
진리값,truth_value
}
Truth