두 숫자는 서로소이다 술어논리로 어캐표현하냐
질문이있다
아빢(106.101)
2020-07-02 21:42
추천 0
댓글 3
다른 게시글
-
밑에글 보다가 질문 [1]가나다(221.166) | 20.07.01추천 0
-
술어논리 양화에 대한 간단한 질문 [2]익명(123.99) | 20.07.01추천 0
-
이거 옳은 형식 언어의 표현인 거 맞나요? [7]기괴공학도(mecheng98) | 20.06.30추천 0
-
이거 왜 4개명사의 오류인지 해석좀 [1]익명(211.36) | 20.06.29추천 0
-
술어논리의 한계 [7]ㅏㅡㄱ(106.101) | 20.06.28추천 0
-
술어와 실체어를 혼동하는 오류. [1]익명(218.234) | 20.06.28추천 0
-
저번에 확률 등등 질문한 분에게 좋은 참고사항 [17]익명(1.227) | 20.06.24추천 0
-
가능세계 양상논리 질문 좀 드려도 될까요 [2]논리(122.45) | 20.06.24추천 0
-
어떤사과는 파랗다 [3]거너다(106.101) | 20.06.22추천 0
-
지구위에 있는 생명체의 절반은 죽는다 [1]1223(106.101) | 20.06.22추천 0
이항관계니까 술어기호와 변항기호 2개 그리고 양화사로 만들수 있지 않나요? 어떤 존재하는 x와 y에대해서 x와 y는 서로소관계이다 이니까요 - dc App
단,2차술어논리는 다를수도 있어요 - dc App
아예 뭐 Coprime(x,y) 이런거로 써도 되는데, 이런걸 물어본건 아닐거같고, forall z. ((exists a. x=z*a and exists b. y=z*b) -> z=1) 이러면 되죠. 양화사 범위는 0이상 정수.