0
는 궁금 경우∃x.px => q는 ∃x와 같습니다 (px => q)?
∃x에
∃x.px => Q
동일한 문장. (PX => Q).
첫 번째 문장의 인스턴스 : 암소가 존재하는 경우
, 다음은 포유 동물
나는 그들이 때문에 다음 예제의 동일한 생각합니다.
초 문장의 예 : 그것은 소 경우
암소 존재는, 그때는 포유 동물이다.
등가가 아닌 경우 예제에 어떤 문제가 있습니까?
A
답변
0
아니요, 이들은 동일하지 않습니다. false을 q으로 사용하십시오.
프로그래밍 문제입니까? 수학과 비슷해 보입니다. – yellowantphil
math.stackexchange.com – manan
에 게시하고 싶을 수도 있습니다. 표기법이 약간 익숙하지 않습니다. 학교에서 배운 것과 다릅니다. 그러나 예문이 논리 문장에 충실하다면 두 번째 문장은 "암소가 존재한다"는 명확한 진술을 포함하고 있기 때문에 분명히 동등하지는 않습니다. 첫 번째 문장은 암소의 존재 유무를 알 수 없지만, 존재하는 어떤 암소도 포유류 일 뿐이라고 말하고 있습니다 ... – twalberg