tft每日頭條

 > 知識

 > 什麼叫做命題的邏輯形式

什麼叫做命題的邏輯形式

知識 更新时间:2026-02-18 23:54:07

  命題邏輯是指以邏輯運算符結合原子命題來構成代表"命題"的公式,以及允許某些公式建構成"定理"的一套形式"證明規則"。相對于謂詞邏輯,它是量化的并且它的原子公式是謂詞函數;和模态邏輯,它可以是非真值泛函的。

更多精彩资讯请关注tft每日頭條,我们将持续为您更新最新资讯!

查看全部

相关知識资讯推荐

热门知識资讯推荐

网友关注

Copyright 2023-2026 - www.tftnews.com All Rights Reserved