연습문제 모음
지정해 둔 홈으로
 
 A2 「알림」질문 올리는 법 [1] 수리논리학회 19-10-15   100
 A1 「알림」논리기호 넣는 법 수리논리학회 19-10-02   211
 16 「질문」피치 증명 시스템 정의 관련 질문(명제논리) [8] 김선용 20-11-28   41
 15 「질문」교재 "수리논리와 집합론 입문" 정답지 물음 [2] 이정훈 19-10-15   84
 14 「예제」Basket of Easy Exercises (명제논리, 피치증명) 정주희 12-04-27   246
 13 「예제」1계논리 형식증명 문제 정주희 12-04-27   393
 12 「아무거」한정사가 연이어 나올 때 정주희 12-04-26   474
 11 「예제」Tons of Exercises (명제논리, 피치증명) 2 정주희 12-04-25   153
 10 「예제」Tons of Exercises (명제논리, 피치증명) 1 [1] 정주희 12-04-25   188
  9 「아무거」명제를 기호화 하기 (1계논리) 정주희 12-04-24   485
  8 「아무거」명제를 기호화 하기 (명제논리) 정주희 12-04-24   620
  7 「예제」명제논리 문제, 다양한 해법 정주희 12-04-23   146
  6 「예제」명제논리 증명 2 [1] 정주희 12-04-18   154
  5 「예제」∀x(x+2 > x) 정주희 12-04-14   167
  4 「예제」Barking Dog 정주희 12-04-14   194
  3 「예제」퍼스의 토톨로지 정주희 12-04-14   357
  2 「예제」명제논리 증명 1 정주희 12-04-10   232
  1 「예제」President not wealthy (1계논리) 정주희 12-04-10   279
Copyright 2003-2021, Gilboard