이걸 되게 바꿀 수 없을까요?
기괴공학도(mecheng98)
2019-08-17 13:07
추천 0
댓글 4
다른 게시글
-
이 답변자 논리 어떠냐?! [1]ㄹㅇ(220.90) | 19.08.09추천 0
-
임의 명제문자 A에 대해서, ⊢A가 증명 불가능하다는 것을 증명하려면 [15]익명(119.203) | 19.08.07추천 0
-
왜 해석이 모든 논리식의 참/거짓을 결정해야 할까요? [5]익명(119.203) | 19.08.02추천 0
-
집합론 질문이요 [3]기괴공학도(mecheng98) | 19.08.01추천 0
-
어떤 논리식을 '증명할 수 없다'는 것을 증명하기 [19]익명(119.203) | 19.07.31추천 0
-
기호논리학 질문 하나만 올립니다. [6]익명(220.118) | 19.07.27추천 0
-
이런 논리를 뭐라고 하나요? [1]익명(124.49) | 19.07.21추천 0
-
힐베르트 스타일과 자연 연역의 차이가 의미하는 바가 뭘까요? [2]익명(119.203) | 19.07.16추천 0
-
숙명여대 펜스룰 사건보면익명(14.43) | 19.07.15추천 0
-
양상논리와 술어논리의 주된 차이점? [5]익명(223.62) | 19.07.13추천 0
코드만 봐서는 알기 어렵습니다만, 뭐가 문제인가요?
컴파일이 안 돼요 ㅠㅠ 교환 법칙을 증명하는 코드를 만들고 싶어요 - dc App
교환법칙의 증명이 목적이라면 정리 증명기를 사용하는 것이 훨씬 쉽지 않을까요...?
람다-프롤로그로도 해보고 싶었어요. 제가 좀 호기심이 많아서요 - dc App