【MoL】18 Boolean Schemata (5)

• 法則(vi)
  
  
  
  • まず原文まま引用。
    "A Boolean existence schema is consistent if and only if its term schema is consistent."
    
  • まず後者が真なら前者も真と言っているのが法則(i)。なので、'if'はOK。
    
  • 次に後者が偽であることは、its term schemaがinconsistentであるということだから、それはterm schemaをTとするinterpretationがまったく存在しないとことであり、すると前者も偽となる。よって、'only if'もOK
    
  
  
• 法則(vii)
  
  
  
  • まず原文まま引用。
    "One Boolean existence schema implies another if and only if the one term schema implies the other."
    
  • まず'if'。これは法則(vi)と同様にOK。
    
  • 次に'only if'。後者が偽であるということであり、このとき法則(iii)は、前者が偽であることの直接的な説明である。よってOK。
    
  
  

こつこつ。