p랑 "p는 참이다"가 다른 명제임?

[익명(117.111)]

납득이 안 되는데

[익명(122.38)]

누가그럼? 부정연산자 처럼 p앞에 긍정연산자가 있다고 보면됨(쓸모가 없어서 사용하진않지만 ) 같은거임

[익명(117.111)]

그럼 ~p랑 p는 거짓이다도 같은 명제임?

[익명(122.38)]

ㅇㅇ

[익명(117.111)]

p는 거짓이다가 P={}잖아. ~p의 진리집합이 Pc니까 "P={}"의 진리집합도 Pc임?

[익명(122.38)]

Pc가 p여집합 말하는거 맞지?

[익명(117.111)]

ㅇㅇ

[익명(122.38)]

ㅇㅇ 맞음

[익명(117.111)]

"P는 공집합이다"의 진리집합이 P의 여집합이라니..

[익명(122.38)]

P에 속하지 않음이나 p말고 다른 집합에 있다나 어차피 참인 진리치가 있어야 하니까

[익명(122.38)]

진리치가 P에도 속하지않고 p외부에도 속하지 않을수는 없음

[익명(122.38)]

참잉진리치가 ->명제가 참인 진리치가되는 가능세계

[익명(218.146)]

"p"는 대상언어적 표현, "p가 참"은 메타언어적 표현. 두 경우 사용되는 언어가 다름. 타르스키의 진리 정의 참고.