4316
2016-08-21 01:05:00
0
일단 프로그래밍쪽을 제가잘모른다는걸 미리 밝히고..
and(true,true)=true와 같이 쓰셨는데 함수의 목적을 생각했을 때 함수안에는 명제 p(x), q(x)같은게 들어가겠지요
그러면 진리집합 P={x|x∈U, p(x)}라고 했을때 이 함수는 원소x가 진리집합 밖에 있냐 안에 있냐를 묻는 함수가 되겠지요
or()의 명제가 empty proposition (그런게 있는지는 의문이지만..) 이고 그것의 진리집합이 공집합이라면, or()의 진리집합은 공집합의 union이고 따라서 공집합 -> false가 되겠고,
and()의 경우 진리집합이 공집합의 intersection이 되므로.. 곧 전체집합이 되어서 true가 되는것인가.. ( 참고:https://proofwiki.org/wiki/Intersection_of_Empty_Set)
그렇다면 작성자님의 생각이 맞습니다.