0
나는 명제 문에 다음과 같은 가설을 번역하는 의심의 여지 데
". 우리가 맑은 경우에만 수영 갈 것"시사점
을
r은 명제는 "우리가 수영을 갈 것", p는 명제이다R -> P
는 "이 햇볕이 잘 드는 오후 :
내 책으로 언급 ".
이것은 추론 규칙을 사용하여 증명의 일부로 언급되었습니다. 위의 가설을 "p-> r"로 쓰면 정확합니까? 나는 수영을 가기로 한 결정이 양지 바른 경우에만 암시되기 때문에 그렇게 생각한다. 그러나 내가이 방법을 진행한다면, 나는 추론의 규칙을 적용하기가 어렵다는 것을 알게된다.
이 책은 올바른 :이 질문은 여기에 주제와 있지만
아마도 이것이 Maths StackExchange에 속해 있을까요? 코딩에 관한 것은 아닙니다. – jdv
논리에 대한 전문화 된 공식 표기법이 이러한 이유로 정확하게 발명되었습니다. 자연어는 광범위한 해석이 가능합니다. "오직 2"= 3, 치즈가 햄 "과 같은 진술의 진실과 같이"유일한 경우 "에 주어진 논리적 의미는 약간 강요하지만 이것은 채택 된 규칙입니다. – Patrick87
프로그래밍이나 소프트웨어 개발 대신 로직과 [math.se]에 관한 질문이기 때문에이 질문을 주제로 끝내기로했습니다. – Pang