크립 키의 의미:학습 소프트웨어를 사용할 수 있습니까?

StackOverflow https://stackoverflow.com/questions/8967103

문제

나는 이에 크립 키 의미, 며,궁금해 있는 경우 educational software 을 통해할 수 있는 테스트는 동등성의 문 등 때문에,자랑스럽게 생각하게 예제를 통해 배우(경우에는 추상적 변수).

내가 사용하는 것입

  • ☐를 반드시 작성
  • 아 위해 가능성

오☐true,☐false,아 true,나 거짓을 평가하는 값,그렇다면 어떤 값이나 종류의 값이에서 무엇을 설정({true,false}또는 아마도{필요한,아마도})?[1]

나는 생각을 모두 읽 Kripke models 사 duality axiom:

(☐A)->(아 A)

즉는 경우 그 필요한 paytax 다음이 허용되지 않지 paytax
(에 관계없이 wheither 필요한 지불하는 세금...)

i.e.2.는 경우 그 필요한 earnmoney 그것이 허용되지 않지 earnmoney
(다시 관계없이 wheither 돈을 버는 것은 정말 필요한 논리를 보유하고,지금까지)

이후 A>B 에 해당하는<-B 할 수 있습 테스트

☐A<-아 A

그 필요가 없 upvote 경우에 허용하지 않는 upvote

이 공동 이중으:

아 A>☐A

는 경우에는 그 허용 earnmoney 다음 필요하지 않지 earnmoney

지 않는 모든 형식이 동일하게 동작하고,다른 Kripke model 는 더 적합한 모델 중 하나 modalit 다른 것보다:지 않은 모든 Kripke models 를 사용하여 동 axioms.(고전 한정사는 또한 양식은?는 경우도 그렇 Kripke models 허용 모델링 그들?)

를 통해 갈 것입니다 목록의 일반적인 원칙을 찾으려고 예는 직관적으로 보일 또는 불필요한 가정...

  • ☐(A>B)->(☐A>☐B):

는 경우(그 필요는(earningmoney 의미 payingtaxes)) 다음((의 필요성 earningmoney)의미(의 필요성 payingtaxes))

참고는 돈을 버는 의미하지는 않 세금을 지불,거짓의 의미는 A>B 에 영향을 미치지 않는 진리의 가치 공...

gt 차의 시간이 너무 오래 걸 문구가 나의 문제에 노력하고 그것을 이해하는 모든...무료 편집

다른 팁

모달 로고에 대한 관계형 의미를 가르치는 교육 소프트웨어가 존재하는지 확실하지는 않습니다. 그러나 나는 당신이 질문 한 질문 중 일부에 대답하려고 시도 할 수 있습니다.

첫째, 필요성 및 가능성을위한 모달 운영자는 진리 값이 아닌 명제에 대해 작동합니다. 따라서 φ가 제안이면 χφ와 ¼ φ가 모두 제안이됩니다. true nor false 도 제안이 아니기 때문에 ☐ true , ♢ true , ☐ false 및 ♢ 거짓 은 의미있는 기호 시퀀스입니다.

둘째, "이중 성 공리"로 언급 한 것은 일반적으로 모달 연산자의 간섭 성이 표현되는 것입니다. 그것은 모달 로직의 공리 성 발달에서 공리 또는 모달 운영자의 의미로서 유도 된 공리 발달에서 공리로서 도입 될 수있다.

셋째, 고전적인 정량화는 모달 연산자가 아니며 모달 개념을 표현하지 않습니다. 사실, 모달 로고는 일반적으로 모달 연산자를 명제 또는 술어 논리로 도입함으로써 정의됩니다. 모달 운영자의 의미론이 정량화의 의미와 유사하게 나타나기 때문에 혼란이 발생합니다. 예를 들어, 필요성 운영자의 의미는 범용 정수리의 의미와 유사하게 나타납니다.

  • ⊧ ∀x.φ (x) φ (α)는 정량화 도메인의 모든 α에 대해서는 사실입니다
  • ≦ w ☐Φ φ φ는 w 에서 접근 가능한 모든 세계에서 사실이다.

    가능성 연산자와 비교할 때 유사성이 표시됩니다. 실제로, 모달 연산자는 가능한 세계를 통해 정량화 제로 정의 할 수 있습니다. 내가 아는 한, 대화가 사실이 아닙니다.

라이센스 : CC-BY-SA ~와 함께 속성
제휴하지 않습니다 StackOverflow
scroll top