본문 바로가기
숨터 가볍게 읽는 공간
전체 베스트 최근
← logic 게시판

콕 재밌네요

더블초코냥(218.232) 2020-09-01 19:18 추천 1
https://gist.github.com/KiJeong-Lim/b793753c2b544ab4fff7656a766f3050
비둘기집 정리 증명해봤어요.



댓글 0

  • 아직 댓글이 없습니다.

다른 게시글

  • 전건부정이나 후건긍정같은 부당한 논증을 하면 결과는 거짓이나옴? [4]
    철수thesex..(taketaketaketake) | 20.08.26
    추천 0
  • 가능세계, 양상논리 질문 좀 드리겠습니다. 고수님들 부탁드립니다ㅠ [16]
    꾸꾸(122.45) | 20.08.25
    추천 4
  • 유튜브 보는데 이게 맞음? [4]
    철수thesex..(taketaketaketake) | 20.08.24
    추천 1
  • 문장의 지시체가 진리치라는 점 동의함? [4]
    Track 9(182.210) | 20.08.22
    추천 0
  • 벤슨 메이츠 기호논리학 질문 두가지 [5]
    익명(175.206) | 20.08.21
    추천 1
  • 코어논리학으로 자연연역 하고있는데 [3]
    익명(180.67) | 20.08.17
    추천 0
  • 기호논리학 3장 질문 [3]
    익명(14.63) | 20.08.17
    추천 2
  • 코어논리학 6장 F~G문제는
    익명(180.67) | 20.08.17
    추천 1
  • 이거 답 뭔가여 [12]
    익명(115.86) | 20.08.17
    추천 0
  • 람다-프롤로그 강의: 1. hello world [5]
    익명(218.232) | 20.08.16
    추천 11
목록으로
읽기 전용 미러