임의의 A에 대하여 B이면 C이다를 만족하는 D가 존재한다.
임의의 A에 대하여 B이면 임의의 A에 대하여 C이다를 만족하는 D가 존재한다.
2개 같은 의미??
임의의 A에 대하여 B이면 C이다를 만족하는 D가 존재한다.
해석학(125.185)
2019-03-09 16:20
추천 0
댓글 4
다른 게시글
-
입실론 델타 논리식 [2]해석학(125.185) | 19.03.08추천 0
-
Ez -> x = z [1]익명(39.7) | 19.03.07추천 0
-
간단한 논리 질문 [13]논리(211.36) | 19.03.07추천 1
-
틀리다고 생각되는 부분 알려주세요ㄹㅇ(183.102) | 19.02.26추천 0
-
비추 수가 많네대구달성서..(data000906) | 19.02.22추천 0
-
추론규칙을 기술하는 메타언어의 형식화가 목표였는데 [4]기괴공학도(mecheng98) | 19.02.20추천 1
-
여기 비추 수 많은 이유는 간단함익명(223.38) | 19.02.19추천 4
-
형님들 이 글 읽어주세요.기괴공학도(mecheng98) | 19.02.19추천 2
-
전건긍정식과 후건부정식논리왕(data000906) | 19.02.16추천 0
-
이거 형식증명해주실 분 구함기괴공학도(mecheng98) | 19.02.05추천 1
대답을 하고 싶은데, "임의의 A에 대하여 B이면 C이다를 만족하는 D가 존재한다."의 의미가 불분명함. "[임의의 A에 대하여 B이면 C이다]를 만족하는 D가 존재한다."인지 아니면 "임의의 A에 대하여 [B이면 C이다를 만족하는 D가 존재한다]."인지.
괄호로 결합의 우선순위를 표시해주셈.
후자에여
조건 "임의의 x에 대하여 [P(x)이면 Q(x)이다]"는 조건 "[임의의 x에 대하여 P(x)]이면 [임의의 x에 대하여 Q(x)이다]"의 충분조건이나 필요조건이지는 않다.