2017-11-22 17 views
0
나는 명제 문에 다음과 같은 가설을 번역하는 의심의 여지 데

". 우리가 맑은 경우에만 수영 갈 것"시사점

R -> P

r은 명제는 "우리가 수영을 갈 것", p는 명제이다

는 "이 햇볕이 잘 드는 오후 :

내 책으로 언급 ".

이것은 추론 규칙을 사용하여 증명의 일부로 언급되었습니다. 위의 가설을 "p-> r"로 쓰면 정확합니까? 나는 수영을 가기로 한 결정이 양지 바른 경우에만 암시되기 때문에 그렇게 생각한다. 그러나 내가이 방법을 진행한다면, 나는 추론의 규칙을 적용하기가 어렵다는 것을 알게된다.

이 책은 올바른 :이 질문은 여기에 주제와 있지만

+0

아마도 이것이 Maths StackExchange에 속해 있을까요? 코딩에 관한 것은 아닙니다. – jdv

+0

논리에 대한 전문화 된 공식 표기법이 이러한 이유로 정확하게 발명되었습니다. 자연어는 광범위한 해석이 가능합니다. "오직 2"= 3, 치즈가 햄 "과 같은 진술의 진실과 같이"유일한 경우 "에 주어진 논리적 의미는 약간 강요하지만 이것은 채택 된 규칙입니다. – Patrick87

+0

프로그래밍이나 소프트웨어 개발 대신 로직과 [math.se]에 관한 질문이기 때문에이 질문을 주제로 끝내기로했습니다. – Pang

답변

0

, 내가 신속한 답변을 줄 것이다.

We will go swimming (R) only if it is sunny (P)If we go swimming (R) then it is sunny (P)과 동일합니다. 즉, 우리가 수영을 할 때마다, 그것이 맑다는 것이 또한 사실입니다. 양지 바른 때를 제외하고는 수영 할 수 없습니다. 우리가 수영하는 유일한 시간은 그것이 양지 바울 때입니다.