1樓:匿名使用者
蘊含:→。就相復
當於日常語制言中的「如果......那麼......」。屬於命題邏輯中的假言命題,從日常的用法就可以知道,a蘊含b的意思就是如果a真,那麼b一定真。關於假言命題的邏輯推理主要就兩種:
推理一前提:a→b真,a真結論:b真推理二前提:
a→b真,b假
邏輯學中的蘊含是什麼意思 怎麼理解?
2樓:朔望之妖
蘊含:→。就相當於日常語言中的「如果......那麼......」。屬於命題邏輯中的假言命題,從日常的用法就可以知道,a蘊含b的意思就是如果a真,那麼b一定真。
關於假言命題的邏輯推理主要就兩種:
推理一前提:a→b真,a真
結論:b真
推理二前提:a→b真,b假
結論:a假
這是非常通俗的介紹,如果你看的是專業書的話會專業化些。
邏輯學裡的存在觀點與假設觀點搞不懂這兩個為什麼要
3樓:天風海雨樓主
為了更好的理解,我們用乙個簡單的悖論來說明.在一張紙的一面寫有「背面的那句話是假的」,而另一面寫「背面的那句話是真的」,那麼到底哪一句是真,哪一句是假,這兩句話陷入了無限的矛盾中,我們似乎無法知道答案,如果換成是這樣:兩面都寫有「背面的那句話是假的」,那麼哪句是真的就完全取決於你是先看哪一面了,本來一模一樣的兩面產生出真假差異其實只是由於你觀察的先後差異所帶來,再來看如果兩面都是「背面的那句話是真的」,那兩句的真假就被固定住了與你的觀察無關.
真與假在邏輯學上一般用1與0表示,這是不是多少讓你想起一開始的0與1,它們首先就是一對差異,所以存在的形式就只能是像0與1那樣不斷的互換,而這種運動在這裡被稱為不斷的相互矛盾,我們問到底哪一句是真哪一句是假,其實就相當於問不斷互換的0與1中哪乙個是1哪乙個是0.這樣我們就知道了試圖包含一切的數學為什麼總逃脫不了矛盾,因為這個世界本身就是這樣的存在,是乙個運動的世界,只要有真假這種差異,那就一定會有矛盾讓它們能存在,只有假或只有真的世界只能是乙個唯心的靜止的世界,它們本身都沒有差異沒有運動,也就不可能存在.數學上的矛盾指的是一種錯誤,它不允許這種矛盾的存在,也就是說數學建造的是乙個內部穩定沒有運動的結構,當然這種結構不能代表這個世界,它只能是區域性的不完整的,那麼構造這樣乙個沒有矛盾的體系到底有沒有價值?
當然是有價值的,前面的能量守恆已經指出了差異不能被創造也不能被消滅,所以無論世界怎麼變化發展,「初量」是不會變化的,數學剛好與之對應,能用來反映這個靜止的量,使用它就能有力的保證我們在思維過程中沒有隨意創造差異,如果創造了差異就會產生矛盾,這在數學體系中就會產生錯誤,所以使用數學是對能量守恆最好的遵守.不過我們知道在數學中,存在0與無窮大∞,它們一定程度上是打破了守恆定律,因為n + ∞ = ∞,n/∞ = 0,n×0=0,無論什麼數與∞相加都得到一樣的∞,無論什麼數除以∞都會得到0,而任何數與0相乘都等於0,不同的數在與它們的相互作用中並沒有顯出差異,也就是說數學也不是對守恆的絕對遵守,畢竟它是為我們所用,而我們並不需要絕對的精確,更多的還是實用性.人們喜歡追問宇宙的起源,所以有人會問,最開始的差異是怎麼來的,基本結構的起源是什麼,這個世界又有多少個基本結構,為什麼要是這個數之類的問題,
學習邏輯學的意義，什麼是邏輯學，邏輯學的意義是什麼
邏輯學是研究思維的科學。所有思維都有內容和形式兩個方面。思維內容是指思維所反映的物件及其屬性 思維形式是指用以反映物件及其屬性的不同方式，即表達思維內容的不同方式。從邏輯學角度看，抽象思維的三種基本形式是概念，命題和推理。邏輯學有廣義和狹義之分。狹義的邏輯學指 研究推理的科學，即只研究如何從前提必然...
《邏輯學導論》推理問題，邏輯學導論適合邏輯推理愛好者嗎？
我的解法 五個人的四句陳述都是三真一假，把他們分別都假設為罪犯，再結合自身的陳述看是否符合三真一假，如果不符合即排除其為罪犯。假設奧托為罪犯 基爾萊茵被殺時我在芝加哥 假 我從未殺過任何人 假 基德是罪犯 假 公尺基和我是好友 未知 奧托陳述不符合 三真一假 排除。假設柯列為罪犯 我沒有殺基爾萊茵 ...
法律邏輯學問題，法律邏輯學的問題
1.在直言命題即性質命題中確實是並非全程肯定等同於特稱否定。2.利用換質法的規則有一條 前提不周延的項結論中不得周延沒有點類似於直言三段論的規則。對當關係中都肯定了主項非空原則，根據這兩條自然可以得知兩種方法得出的結論是不一樣的。不過要是用一階謂詞邏輯自然推理系統證明的話倒是可以由特稱肯定推出全程否...