簡單命題和復合命題區別?

時間 2021-06-09 17:49:08

1樓:馬蹄北去

簡單命題就是指形如G(n1,n2,...,nk)這樣的命題,其中G是k元謂詞,n1...n2是論域中的個體,也就是說簡單命題只有乙個謂詞,而復合命題則是簡單命題經由真值函項運算元連線而成的命題。

(在標準情況下就是與,或,非,實質蘊涵,實質等值等,在某些情況下可以有謝弗豎之類的其他符號)

簡單命題和符合命題的區分是形式化命題的區分,回到題主的例子,正如其他答主指出的,自然語言的形式化結果並不唯一,簡單命題的謂詞可以相當複雜,復合命題的分句也可以相當簡單,用自然語言作為簡單/復合命題例子是不合適的。

2樓:趙明毅

所有的人或者是男人,或者是女人。

一種形式化:(x) p(x)→(q(x)∨r(x)) p(x):x是人 ,q(x):x是男人,r(x):x是女人。

另一種形式化:(x∈A) (q(x)∨r(x)) A:人範疇 q和r同上。

小李或者是湖南人,或者是湖北人。

一種形式化:q(a)∨r(a) q(x):x是湖南人,r(x):x是湖北人 a:小李 ①

奇怪的形式化1:(x) p(x)→(q(x)∨r(x)) p(x):x是小李,其他同上

奇怪的形式化2:(x=a) (q(x)∨r(x)) (這種寫法是錯誤的) (x)(x=a)→(q(x)∨r(x)) 同①

由此可見一句話有不同的形式化方式形式化的結果之間也沒有一種能夠被稱為「復合」的本質性質。

比如說我完全可以把【所有的人或者是男人,或者是女人。】形式化成為:(x) p(x) p(x):x人是男人或女人

所以說這種概念就是傻吊概念。

推薦閱讀

知乎使用者:形式邏輯中集合概念與非集合概念分別是什麼意思?

3樓:

你所謂的簡單和復合,其實就是分析的和綜合的。

以上是答案。

另外提一句,我反對這種分類法,實際上分析是一種特殊的綜合,這裡就不展開了。

怎樣判斷簡單命題的真假?

Ivony 判斷絕大多數命題的真假的前提是存在乙個自洽的公理系統,且這個命題在這個公理系統中是可以被形式證明的。物理學的確應當存在乙個公理系統,也就是宇宙萬物運轉的規律。物理學的目標也就是找出這個公理系統。事實上我們甚至都不知道這是不是乙個自洽的公理系統,乃至於是不是存不存在 譬如說宇宙其實是個超級...

簡單命題的真假如何判斷?

unkonw 問題不是那麼容易回答。首先我以trouble maker 的身份審視題主的思路 1.陳述所宣稱的內涵符合觀察到的實際則為真,否則為假 這會產生很多的問題 a.符合 說存在很大的問題,最簡單的反駁,比如,抽象思維無法 觀察 從而推導出抽象思維不存在真假的結論。當然,這個問題很深,但 符合...

數學,邏輯,為什麼原命題和逆否命題等價?

Gusttavo Chan 因為以下公理在古典邏輯下正反均可證。有基礎的童鞋可能感覺到了,逆方向的證明是需要雙重否定消去 RAA 的,所以這個公理在直覺主義邏輯和最小邏輯下是只有正方向成立的,不等價。 Chen George 要看你用的是哪家的公理系統。在 Whitehead Russell 的 P...