본문 바로가기
숨터
가볍게 읽는 공간
전체
베스트
최근
← logic 게시판
간접사동+부정표현에도 논리학적 요소가 보임
익명(117.111)
2022-01-31 14:53
추천 1
먹지 않게 했다 -> 먹게 하지 않았다 (O)
먹게 하지 않았다 -> 먹지 않게 했다 (X)
이것도 술어논리에서 다룰 만한 듯
댓글 2
먹지 않게 하다 든 먹게 하다든 술어 하나로 번역 될거 같은데 다루는거 가능함?
ㅁㄴㅇㄹ(122.38)
2022-01-31 18:23
답글
그러니까 체계를 더욱 보완해야지 술어 논리 체계를
익명(182.210)
2022-02-03 14:27
다른 게시글
표현가능성? 이란게 무슨 뜻인가요??
[5]
ㅅㄴ(58.234)
|
22.01.29
추천 0
이렇게 표현하면 됨
[2]
익명(211.36)
|
22.01.29
추천 1
술어논리 쓴거 이거 맞는지 평가좀 해주셈
[5]
익명(219.250)
|
22.01.28
추천 1
Modus Ponendo Tollens; MPT 에 대하여 질문
[1]
익명(219.250)
|
22.01.26
추천 0
님들 mbti는 뭐임?
[4]
익명(175.223)
|
22.01.24
추천 0
자연 연역 개념 깔끔하게 정리해주실분
[1]
익명(219.250)
|
22.01.23
추천 0
"3명의 왕이 있다" 이거 논리식으로 어떻게 만듦??
[11]
ㅅㄴ(58.234)
|
22.01.23
추천 0
피치 스타일 자연연역이 겐첸보다 더 직관적인데
[9]
익명(175.192)
|
22.01.22
추천 6
뭐 하고 살아야할지 모르겠네
[1]
익명(182.217)
|
22.01.21
추천 0
연역계산법(증명계산) 질문
[1]
익명(223.38)
|
22.01.20
추천 0
더보기
검색
제목+내용
제목
내용
글쓴이
댓글
검색
목록으로
↑
먹지 않게 하다 든 먹게 하다든 술어 하나로 번역 될거 같은데 다루는거 가능함?
그러니까 체계를 더욱 보완해야지 술어 논리 체계를