논리식으로 표현된걸 모두 일상언어로 바꿀수 있는가>

[123(221.168)]

p(x) : x는 커피다 q(x): x는 미국산이다. 라고 하면

어떤 커피는 미국산이다 라는 명제는

양화문장으로 표현하면

존재한다 x ( p(x) & q(x) ) 잖아?

그러면

존재한다 x ( p(x) -> q(x) ) 와같은 논리식은 일상언어로 표현하면 어떻게 되? 표현은 가능함?

<!-- 본문 우측 광고 -->

[미네르바(125.177)]

if there are some coffee, then they're the product of America 아님?

[익명(207.189)]

어떤 커피는 (필연적으로) 미국산일 수밖에 없다.

[PaulSohn(paulsohn)]

모든 x에 대해 ~p(x)여도 exists x (p(x)->q(x))는 성립합니다. 가정이 거짓이면 조건문이 참이라서요.

[PaulSohn(paulsohn)]

(왜 >같은걸로 바뀌었는지 모르겠는데 화살표 →입니다.)

[PaulSohn(paulsohn)]

이건 아무래도 p(x)→q(x) 대신 ~p(x)∨q(x)로 해석하는 게 편할 것 같네요. 그러니까, "커피가 아니거나 미국산인 '것'이 존재한다"

[이 댓글은 게시물 작성자가 삭제하였습니다.]

이 댓글은 게시물 작성자가 삭제하였습니다.

[asdf(125.185)]

L(x,y) : x는 y를 사랑한다 F(x,y) :x는 y의 아버지다 1.for all x for all y ( L(x,y)->F(x.y) ) 2. exist x exist y (L(x,y)->F(x,y)) 3. for all y exist x (L(x,y)->F(x,y)) 4.exist x for all y( L(x,y) -> F(x,y)) 5.for all x exist y ( L(x,y) -> F(x,y)) 6.exist y for all x ( L(x,y) -> F(x,y)) 6문장은 일상언어로 표현하면 ??

[톱니까막(nonli)]

일상언어와 인공언어 사이의 괴리감은 일면 그렇게 쉽게 풀지 못할 수도 있습니다. 그래서 번역의 문제가 항상 있는 것이고...