학교에서 수행평가 냈는데 모르는 거 있어서
여간
컴퓨터 잘하는 사람은 논리적으로 말싸움에서 바른다면서
정보 선생이 수업시간에 술어 논리를 가르쳐줌
동사(주어,목적어)
보어(주어)
뭐 이런 형식 같음
http://www.aistudy.com/logic/predicate_logic.htm
뭐 이렇게
근데 문제가 생김
수행평가에서 이렇게 나옴 :
모든 선수들은 올림픽에서 메달을 딴다
이걸 술어 논리 기호로 바꾸는거임
...어? 올림픽 ㅅㅂ?
여간
컴퓨터 잘하는 사람은 논리적으로 말싸움에서 바른다면서
정보 선생이 수업시간에 술어 논리를 가르쳐줌
동사(주어,목적어)
보어(주어)
뭐 이런 형식 같음
http://www.aistudy.com/logic/predicate_logic.htm
뭐 이렇게
근데 문제가 생김
수행평가에서 이렇게 나옴 :
모든 선수들은 올림픽에서 메달을 딴다
이걸 술어 논리 기호로 바꾸는거임
...어? 올림픽 ㅅㅂ?
이산수학에서 나오는거 맞나? [핡]
인공지능에 관심있는 종자 발견... ㅋㅋㅋ 반갑네... 근데 술어 논리를 이해하기 전에 먼저 명제 논리는 이해했는감?
술어 논리 = 명제 논리 + 한정자(A, E를 거꾸로 쓴 것들) ㅇㅋ?
이산수학때 한건 기억나는데 6년전이라 가물가물 [핡]
교수가 싸워본적이 없나보네 - _-) 말싸움이라는건 논리도 논리지만 기싸움하고 단어와 표현의 전략적 선택이 중요한데....
그리고 술어논리라는게 이름이 거창해서 그렇지, 그냥 함수하고 객체처럼 보면 됨 ㅇㅇ
사람은 임의의 x라고 하고, 술어 세개.. 선수이다, 올림픽에 나간다, 메달을 딴다. 가지고 명제를 만들어. 그담에 한정자 붙여. 졸라 쉽잖아
아 올림픽에 나간다 라고 하면 되는구나ㅋ 아놔
근데 이거 이산수학임? 이게 고2로 내려오다니
ㅇㅇ 이산수학안에 수리논리학. 이건 고등학교 과정이랑 별 상관없음 그냥 배우면 배우는거지