[일반] 명제논리에서 if~then~ 은 컴퓨터에서도 공허참이 적용되나요?

[정상인모방시도(gaze0693)]

그런니까

ifthen을 프로그래밍에 쓰는데

여기서도 전건이 거짓이면 명제가 참이되는 공허참이 일어나나요?

- dc official App

[아스마토키(zyw321)]

공허참이 일어났다는 게 무슨 말이지

[수갤러 1(211.178)]

Vacuous truth말하는듯

[아스마토키(zyw321)]

@수갤러1(211.178) 공허참이 뭔지는 아는데 프로그래밍에서의 명제가 뭔지, 불리언을 뱉는 연산을 말하는 건지 모르겠고 if문이 참이라는 게 if문 내의 코드가 실행된 건지 뭔지 모르겠음

[수갤러 1(211.178)]

그냥 불리언으로 저장된 정보들 말하는듯 명령어로써 if문은 본문의 내용이랑은 거리가 있어보이는디

[정상인모방시도(gaze0693)]

명제에서 if then 이랑 프로그래밍에서 if then은 다른가요 - dc App

[수갤러 1(211.178)]

애초에 함의관계를 컴퓨터에 적용시키는 것도 결국 not or 연산이 사용되니까 전건이 거짓이면 참이겠죠

[ㅆㅅ(siiot)]

논리학의 if (implication)와 프로그래밍의 if는 다름

[익명(sweater5651)]

할 거면 왜 다른지까지 설명해라. 내가 할까?

[ㅆㅅ(siiot)]

@ㅇㅇ 네

[익명(episode5899)]

프로그래밍에서 if then 문의 진리치를 어떻게 정의하는데? - dc App