1樓：匿名使用者
如果平面幾何的證明題已經過關，則其它的證明題都應該可以學好的，只要熟練掌握相關部分的基本概念、基本定理和性質，無論是三角函式、解析幾何還是微積分、線性代數方面的證明題都是容易學會的。
但是其它數學部分的基本概念、基本定理和性質的掌握，可能比平面幾何裡的概念、定理、性質難掌握一些，因為它們不象平面幾何裡有直觀的幾何形象，一般地說，層次越高的數學分支越抽象，學會證明題的關鍵是把它們弄得象對平面幾何裡的定理一樣熟悉。
所謂平面幾何的證明題已經過關，是指會做的證明題能夠把證明嚴密地寫出來；不會做的題目會寫不出證明——如果不會做的題目也能夠把證明寫出來，就不能認為平面幾何已經過關。我不是講笑話，這裡也常常看到一些人「因為、所以」寫了一大篇，實際上徹頭徹尾是錯的，這樣的人恐怕很難學好證明題的，因為他們的邏輯思維很混亂。
邏輯學的證明題……拜託了~可以加分~！
2樓：
(a)p,¬p├ q
1.p 引入條件2.p→¬q→p 公理
3.¬q→p 1和2分離規則4.¬p 引入條件5.¬p→¬q→¬p 公理
6.¬q→¬p 4和5分離規則7.（¬q→p）→（¬q→¬p）→q 公理8.q 3，6和7兩次分離規則可得
（b）忘了。。。。
3樓：匿名使用者
(a)p,¬p├ q
1）p∧¬p p
2）p t1)合取消去3）¬p t1)合取消去4）p∨q t2)析取新增5）q t3)4)析取消去(b)¬¬p├ q
1) ¬¬p p
2) ¬¬q 1)q/p代入3）q t2)¬¬消去
邏輯學分析證明題 10
4樓：匿名使用者
e不該上場
推理如下
由題意知：
1，a2，f
設e上場
3，e4，c 由2，3,（4)
5，d 由4,（2）
6，「b 由5,（1）
7，「a 由6,（2）
7與2矛盾，故所設不真，e不該上場
一道邏輯學（面向電腦科學的數理邏輯）證明題
5樓：匿名使用者
所謂邏輯系統的匯出規則，就是不屬於該系統的初始規則，但又能為該系統的初始公式和初始規則證明的規則。
按照通常的理解，可以將↔的引入規則和消去規則分別表示為：
↔+：如果 γ├ φ→ψ, ψ→φ，那麼 γ├ φ↔ψ
↔-：如果 γ├ φ↔ψ，那麼 γ├ φ→ψ, ψ→φ
要證明↔的引入規則和消去規則是匯出規則，這就依賴於您的邏輯系統的初始公式和規則有哪些。
如果原系統中有關於∧的初始規則，那麼證明就很簡單，只需一步便能完成，比如↔+：
(1) γ├ φ→ψ, ψ→φ 這是已知前提
(2) γ├（φ→ψ）∧（ψ→φ） 根據∧+規則
(3) γ├ φ↔ψ 根據↔的定義
↔-規則同理可證。
但是如果不含有關於∧的初始規則，證明起來就相對麻煩一些了。比如，若只有關於┐和→的初始規則，就得先想辦法證明關於∧的匯出規則，然後才能按照↔的定義證明出關於↔的匯出規則。
希望能對您有用。
有關邏輯學三段論的三個證明題，求解！
6樓：
1.證明：當兩個前提都是特稱命題時，有三種情況：
（1）兩個前提都是特稱否定命題。根據三段論的基本規則（即前提和結論中的否定命題數目必須相同），所以兩個前提不能都是否定命題，因此這種情況下不能得出結論。
（2）兩個前提都是特稱肯定命題。這時，前提中所有的項都不周延，因而中項在兩個前提中都不周延，根據三段論的規則，中項至少要周延一次，因此不能得出結論。
（3）兩個前提乙個特肯，乙個特否。此時，前提中只有乙個周延的項，因此這個周延的項必須做中項，因而大項在前提中不周延。但是根據三段論的基本規則，結論必然是否定命題，因而大項在結論中周延，但這就違反了三段論的基本規則，即在前提中不周延的項在結論中也不得周延的規定，因此也得不出結論。
2.乙個有效的三段論，前提乙個是特稱乙個是全稱，有三種情況：
（1）乙個是特肯，乙個是全肯。只有乙個周延的項得做中項，因此大小項在結論中都不周延，則結論是特稱肯定命題。
（2）乙個是特否，乙個是全肯。此時前提中有兩個周延的項，其中乙個周延的項做中項，結論必然是否定命題，則另乙個周延的項必須做則大項，而小項不周延，因此結論只能是特稱否定命題。
（3）乙個是特肯，乙個是全否。此時前提中有兩個周延的項，其中乙個周延的項做中項，結論必然是否定命題，則另乙個周延的項必須做則大項，而小項不周延，因此結論只能是特稱否定命題。
(順便求解那個，就分析兩種情況：特稱肯定結論和特稱否定結論，不想寫了，按照上面的思路來就行了。)
3.中項周延兩次的三段論，反證：
（1）若結論是全稱肯定命題，則兩個前提都是全稱肯定命題，且小項是小前提的主項，大項是大前提的謂項，中項在大前提中周延，在小前提中不周延，因此當結論是全稱肯定命題時中項不可能周延兩次；
（2）若結論是全稱否定命題，則前提乙個是全稱肯定命題，乙個是全稱否定命題，此時前提中有三個周延的項，其中有兩個周延的項必須做結論的大項和小項，則中項在前提中就只能周延一次。
綜上，當結論是全稱命題時，前提中中項不可能周延兩次，（等值逆否命題）也即前提中中項周延兩次，結論就不可能是全稱命題。
邏輯學證明題目，三段論，急切，有附加~ 30
7樓：匿名使用者
首先明確三段論基本規則：
規則一，中項至少周延一次；
規則二，在前提中不周延的項，在結論中也不得周延；
規則三，兩個否定前提不能推出結論；
規則四，如果前提中有乙個是否定的，那麼結論是否定的；
規則五，如果結論是否定的，那麼前提中必有乙個是否定的。
還要知道三段論四個格中，中項的不同位置。
1、證明三段論規則：兩特稱前提不能得出結論。
兩特稱前提不外乎如下三種情況：（1）o與o做前提，根據規則三，兩個否定前提不能推出結論；（2）i與i做前提，其中四個項都不周延，中項兩次不周延，根據規則一，不能推出結論；（3）i與o做前提，那麼前提中只有乙個項（o命題的謂項）是周延的，這個周延的項必須做中項，因為中項不能兩次都不周延。這樣，大項不周延。
而由於有乙個是否定前提，根據規則四，結論必然是否定命題，大項作結論的謂項必然周延，大項在前提中不周延，而在結論中周延了，就犯了「大項不當周延」的錯誤。如果唯一周延的項作大項，則又會犯「中項兩次不周延」的錯誤。總之，i與o做前提，或違反規則二，犯「大項不當周延」的錯誤，或違反規則一，犯「中項兩次不周延」的錯誤，都不能推出結論。
2、證明三段論規則：前提中有一特稱，則結論特稱。
由第1題得出新規則，兩個特稱的前提不能推出結論，前提中有乙個是特稱的，另乙個必是全稱的。那麼，可能有如下三種情況：（1）e與o做前提，根據規則三，兩個否定的前提不能推出結論；（2）a與i做前提，前提中只有乙個周延的項（a命題的主項）這個周延的項必須是中項，因為中項至少要周延一次。
這樣，小項必然不周延，根據規則二，小項在前提中不周延在結論中也不得周延，小項在結論中是主項，所以結論必是特稱的；（3）a與i或者e與o做前提，前提中有兩個周延的項，乙個必須做中項，另乙個必是大項，大項在結論中是周延的，在前提中也必須周延，餘下的小項只能是不周延的，根據規則二，小項在前提中不周延，在結論中也不得周延，所以，小項在結論中不周延，結論必定為特稱的。
3、請用三段論一般規則，證明三段論第一格特殊規則（1）
三段論第乙個特殊規則是「小前提必須肯定」
如果小前提否定，根據規則四，結論必須否定，因而大項在結論中周延。根據規則二，結論中大項周延，則大項在前提中也必須周延，大前提為否定命題。這樣會導致兩個否定前提，根據規則三，兩個否定命題不能得出結論。
所以，小前提不能是否定的，必須是肯定的。
4、證明三段論第二格特殊規。
第二格特殊規則有兩條（1）兩前提中必有乙個是否定命題；（2）大前提必須是全稱命題。
證明第1條特殊規則：因為第二格的兩個前提中，中項都做謂項，根據規則一，中項至少周延一次，要使中項至少周延一次，必須有乙個是否定的（否定命題的謂項是周延的）。故得證。
證明第2條特殊規則：由第二格特殊規則（1）可知，兩前提中必有乙個是否定命題，根據規則四，結論必須是否定的，結論是否定的，則大項在結論中周延。根據規則二，大項在前提中也必須周延，大項在大前提中作主項，要保證周延，只能是全稱命題。
故得證。
5、證明三段論第三格特殊規則。
第三格特殊規則有兩條（1）小前提必須是肯定命題；（2）結論必須是特稱命題。
證明第一條特殊規則：如果小前提是否定的，根據規則四，結論必然是否定的，則在結論中大項是周延的。小前提如果是否定的，根據規則三，大前提必須是肯定的，大前提肯定，則大項在前提中不周延，大項在結論中周延，在前提中不周延，違反了規則二。
故得證。
證明第二條特殊規則：由第一條特殊規則可知，小前提必須是肯定命題，則小項在小前提中是不周延的，根據規則二，小項在結論中也不得周延，而小項在結論中也不周延，結論只能是特稱的，故得證。
邏輯學的證明題，不會啊，求高手幫忙？？下週交哦...
8樓：匿名使用者
這三個題是錯誤的。無法證明。除非有條件，明確是第幾格的三段論。
9樓：股神缺靈感
因為命題所以命題，不管小命題，大命題，只要命題就是命題
邏輯學練習題及答案
10樓：匿名使用者
這是乙個充分條件假言直言推理，屬於無效推理。
充分條件假言直言推理中，可以通過肯定前件來肯定後件，也可以通過否定後件推出對前件的否定。但是不能通過肯定後件推出肯定前件，或者通過否定前件推出對後件的否定。
這個練習題就是肯定後件式，屬於無效式。
11樓：匿名使用者
否 條件命題 肯定後件 不能得出肯定前件
邏輯學推理題
如果1為真，那麼2，3都是真，此時有3個真，不成立。所以1必定為假。又發現1和4是對立關係，1為假時4必定為真。已經確定2個命題了 1為假，4為真。根據題目 恰有2個真。那麼看看還有那個真命題會不會是2.如果2為真，此時發現3也為真了。所以2，3，4同時為真，不符合題意。所以2只能為假，3為真。這樣...
初中幾何證明題怎麼學啊，初中數學幾何證明題技巧
1,相信自己可以做好 2，熟讀熟記公式定理 3，從簡單題開始入手 4，從中等題開始入手 此為最關鍵的階段，關鍵是把握好題目要求，多看多想題目，把幾何圖形看透 5，狀態好的時候，每天做3道難題，記住最好有答案，不然會讓自己有挫敗感的。6，附近同學做題，發現不會的時候。挑戰你的時候來了，去幫他解決去 加...
談談對邏輯學的認識，對邏輯學的認識
邏輯學是一門成熟較早的學科。發展至今，它的內容不斷豐富。經近現代邏輯學家的。不懈探索，這一學科已從傳統邏輯發展稱為現代邏輯，在人們思維 論辯 科學研究等各。個方面發揮著重要作用。我們所熟悉的電子計算機實際上就是以邏輯學為基礎發展起來的。可以說，掌握邏輯學只是，具有較強的邏輯素質和邏輯能力，對於人們在...