מילון אונליין

  חיפוש ברשת      מילון      חיפוש בפורום

 

逻辑断言 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "逻辑断言"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
逻辑断言
逻辑断言是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。

例如，如果 p = "x 是偶数"，则蕴涵

因此为真。我们还可以使用逻辑断言符号写为

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许

逻辑断言 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "逻辑断言"
Wikipedia 维基中文 免费百科全书הורד מילון בבילון 9 למחשב שלך
逻辑断言
逻辑断言是断定一个特定前提为真的陈述，并且对在证明中的陈述有用。它等价于有空前件的相继式。

例如，如果 p = "x 是偶数"，则蕴涵

因此为真。我们还可以使用逻辑断言符号写为

访问 Wikipedia.org... 网页


本文章的材料选自维基百科(R), 并有 GNU 免费文件许




© 2007 מילון G בבילון אונליין - נתמך ע"י מילון בבילון 9