有人可以解釋一下公式的區別和合式公式? 是否可以確定一個不健全的公式的真值?公式vs命題邏輯中的格式公式
4
A
回答
4
只有當公式與給定的一組語法規則相符時,才能評估公式或其真值(或更一般地,其評估值)的有效性。
所以公式一般,和在數學或邏輯的上下文中,是指合式式。
嚴格地說,如果您的符號包含'+' | '(' | ')' | 'a'-'z'
,嚴格意義上的公式是由這些符號形成的任何字符串。例如,a((++z
是一個公式。
但是我們也必須看一個公式的構造規則。如果規則是,例如
F,E ::= F + E | (F) | 'a'-'z'
那麼你的公式是不正確的。
+1
ZakC是正確的,但只是爲了強調一點:當「公式」並不意味着「格式良好的公式」時,幾乎沒有邏輯上的情況。直接回答OP的第二個問題:一個不合格的公式沒有真值。 – MattClarke
+0
謝謝@ZakC的解釋 –
相關問題
- 1. 一階邏輯公式
- 2. 複雜訪問公式邏輯
- 3. Excel公式。電子表格公式
- 4. Excel公式與條件格式中使用的公式
- 5. Excel VBA公式中的條件格式公式
- 6. 條件格式公式
- 7. 以格式使用公式
- 8. Haskell lambda表達式和簡單邏輯公式
- 9. 爪哇命中公式
- 10. 單元格的公式在Excel中不起作用的公式?
- 11. 無法編輯單元格公式
- 12. 在Excel中將公式中的公式轉換爲公式中的值VBA
- 13. 在複雜公式的.NET代碼中嵌入Excel邏輯
- 14. (邏輯索引)在numpy數組中執行RGBA值的公式
- 15. 如果公式格式化單元格
- 16. 使用公式命名單元格
- 17. Sharepoint 2010公式編輯器?
- 18. MS Word公式編輯器
- 19. Excel - 使用公式在公式中生成單元格引用
- 20. 評估公式並從單元格中刪除公式
- 21. 使用單元格()的問題。公式
- 22. 從公式導出的條件格式
- 23. 品格操作的公式
- 24. 添加到單元格的公式,但不刪除公式
- 25. 字符串格式 - 邏輯問題
- 26. 合併公式公式或在公式中包含其他變量的方法
- 27. 顯示值(公式的結果)而不是公式在公式欄中
- 28. gawk中的公式
- 29. excel公式sumif公式不計算
- 30. 驗證和分組Excel公式格式
感謝您提出這個問題;) - 14.2傢伙 – AVI