Fatal编程技术网
  • logic/
  • Logic 什么是⋀；你是说伊莎贝尔？

Logic 什么是⋀；你是说伊莎贝尔？

logic isabelle

Logic 什么是⋀；你是说伊莎贝尔？,logic,isabelle,quantifiers,Logic,Isabelle,Quantifiers,（这几乎是一个逻辑问题。） ⋀例如在⋀YPy似乎是一种占位符。它发生在使用apply（rule allI）或apply（erule exE）之后。起初我认为这就像是一个伪装∀, 因为规则allI是（！！x.Px）=>∀x、 Px（我相信！！是用来表示⋀在我得到这个的地方）。但是我似乎无法在某些场景中应用allI，而这些场景似乎符合这个规则。什么是⋀真的是什么意思？我想知道⋀在不同的情况下可能意味着不同的事情。⋀是一个通用量词，是的，但它是一个元量词。也就是说，你用它来描述你工作的逻辑，包括∀。类

（这几乎是一个逻辑问题。） 
⋀例如在
⋀YPy
似乎是一种占位符。它发生在使用
apply（rule allI）
或
apply（erule exE
）之后。起初我认为这就像是一个伪装∀, 因为规则
allI
是
（！！x.Px）=>∀x、 Px
（我相信
！！
是用来表示
⋀在我得到这个的地方）。但是我似乎无法在某些场景中应用
allI
，而这些场景似乎符合这个规则。什么是
⋀真的是什么意思？我想知道
⋀在不同的情况下可能意味着不同的事情。
⋀
是一个通用量词，是的，但它是一个元量词。也就是说，你用它来描述你工作的逻辑，包括
∀。类似地，