20220827

やったこと

  • LOLとApexをやった

  • ソウルハッカーズ2を進めた

    • 研究者のメガネのデザインがネクストレベルだったので驚いた。

  • まったくのゼロからの論理学を読み進めた

学び

  • ∀x(Fx∧Gx)は「全てのxについてFxでありかつGxである」ということを表している論理式、、「全てのFxであるものがGxである」ということを意味しているわけでないということ。
    • 全ての会社員は人間であり、かつ怠け者だ(∀x(Fx∧Gx))という論理式は全ての人間は怠け者であることを意味していない。
    • 全ての人間は哲学者であり、かつ怠け者だという文章は全ての哲学者は怠け者だという解釈にはならない。
    • ここらへんを具体的に言語化してあって良かった。
  • その論理式をどう解釈しても真になる式を妥当式という
    • ∀x(Fx⇒Gx)∧¬Ga)⇒¬Fa
    • 議論対象、Fxの具体的な述語、Gxの具体的な述語、aの値、どう解釈しても真になる。
      • 前件が真で後件が偽になることがありえない