진리집합의 전체집합을 명제로 표현할 수 있을까?

[익명(117.111)]

ㅈㄱㄴ

[익명(122.38)]

모순되는 진리집합 포함해서 모든 진리집합의 전체집합?

[익명(117.111)]

ㅇㅇ

[익명(125.190)]

이진 논리체계 한정으로, 비일관성명제면 되지않을까? 비일관성명제는 모든 명제를 내포하거든 폭발원리 검색해보셈

[익명(118.235)]

명제의 외연은 진리치이지, 집합이 아님. 따라서 ‘명제가 집합을 표현한다’라는 말은 상당히 이상한 셈. 다만 우리는 어떤 정의를 통해 진리집합을 한정할 수는 있겠지. 하지만 이건 아주 사소하게, T={x | V(x) = 1}로 정의될 수 있을 거임.