1樓：
1.第一個問題——已知假言命題p→q能得到假言命題q←p嗎？這兩者是相等的嗎？
參***：兩者是相等的。p→q表示p和q是充分條件假言，q←p則表示q和p事必要條件假言。
充分條件和必要條件可以互換，方法有兩個：一是改變前後件的真值，二是調換前後件的位置。你這裡採用的是方法二。
好比你上面的例子——如果想要健康，就必須有足夠的運動量。可以變成：只有具有足夠的運動量，才能讓你健康。
2.例子確實是充分條件假言命題，而且你的理解也是正確的。因為充分條件假言命題的邏輯性質是：「有之必然」——若前件真，後件一定真。也就是你要表達的意思
2樓：強力荔枝
第一個問題，不可以，只有充分條件推必要條件，不可以必要條件推充分，必要條件的意義就是其成立是充分條件成立的表要因素，不是一定因素，但是充分條件如果不成立，必要條件一定不成立；如果想等價轉換，只能用逆否命題轉換，即非q推非p。如果```就是充分假言命題，一般情況下，只有```才和除非```才是必要假言命題，你的推理是正確的。
邏輯推理中的假言命題的定義？？？
3樓：匿名使用者
假言判斷（命題）bai是斷定事物du情況之間的條件關係的復zhi合判dao
斷。是斷定一個事物情回況的存在是另一個事答物情況存在的條件的命題。客觀事物、現象之間存在著多種多樣的聯絡，其中有一部分是條件聯絡。
假言判斷就是反映事物、現象之間條件聯絡的判斷。它通常由假設複句和條件複句來表達。
例如：(1)如果兩手磨擦，那麼就會生熱。
(2)如果沒有雨雲，就不能下雨。
這兩個判斷都是假言判斷。例(1)和例(2)中的「兩手磨擦」，「有雨雲」都表示條件，表示條件的支判斷，邏輯上稱它為前件；「會生熱」、「能下雨」都表示依賴條件而成立支判斷，表示依賴條件而成立的支判斷，邏輯上稱它為「後件」；「如果……那麼……」、「如果不……就不……」是聯結項。假言判斷就是由前件、後件和聯結項三個部分組成的。
假言命題推理規則
4樓：
1、充分條件假言推理有兩條規則：
肯定前件，就要肯定後件；否定前件，不能否定後件。
否定後件，就要否定前件；肯定後件，不能肯定前件。
2、必要條件假言推理的規則
必要條件假言推理必須遵守兩條規則：
否定前件就要否定後件，肯定後件就要肯定前件。
肯定前件不能肯定後件，否定後件，不能否定前件。
3、充分必要條件假言推理有兩條規則：
肯定前件，就要肯定後件；肯定後件，就要肯定前件。
否定前件，就要否定後件；否定後件，就要否定前件。
擴充套件資料假言命題分類
邏輯學考察的事物間的條件關係有三種：
1、如果有事物情況a，則必然有事物情況b；如果沒有事物情況a而未必沒有事物情況b，a就是b的充分而不必要的條件，簡稱充分條件。
2、如果沒有事物情況a，則必然沒有事物情況b；如果有事物情況a而未必有事物情況b，a就是b的必要而不充分的條件，簡稱必要條件。
3、如果有事物情況a，則必然有事物情況b；如果沒有事物情況a，則必然沒有事物情況b，a就是b的充分必要條件。
5樓：中公教育
根據題乾的特點，此類題型又分為三類：
一、單個假言命題
如果題幹只有一個假言命題，那麼我們可以考慮的知識角度有三個：
①肯前推肯後即命題的推出式;
②否後推否前即命題的逆否命題;
③原命題的兩次矛盾。
究竟考察三個角度中的哪一種，是由選項的特點來決定的：
(一)如果選項多為關聯詞例如如果，那麼連結而成的句子，那麼就可以考慮角度①②。
【例題】要高速度發展國民經濟，就必須有科學技術的高速度發展。
與以上判斷邏輯完全相同的是：
a.只有科學技術的高速度發展，才能有國民經濟的高速度發展
b.要高速度發展科學技術，就必須有國民經濟的高速度發展
c.只要有科學技術的高速度發展，就必定有國民經濟的高速度發展
d.高速發展國民經濟和高速度發展科學技術是完全一致的
【解析】a。原命題推出式為：高速發展國民經濟→科技高速發展，逆否命題為科技未高速發展→國民經濟未高速發展。
選項均為表假設的關聯詞連結而成的命題，因而本題在考察肯前肯後，否後否前。a項肯前肯後，符合;b項肯後肯前，排除;c項肯後肯前;d項無關。故選a。
(二)如果選項為選言的表達方式，那麼就可以考慮第③個知識點。
【例題】 「如果你關掉了所有錯誤的大門，真理它將被拒之門外」，由以上的判斷可以推出的是：
a、如果真理被拒之門外，那一定是你關掉了所有錯誤的大門
b、只有關掉所有錯誤的大門，真理才不會拒之門外
c、或者沒有關掉所有錯誤的大門，或者真理被拒之門外
d、若接納真理，必須拒絕錯誤
【解析】c。選項有表假設的關聯詞和表選言的關聯詞，因此三個知識角度均要考慮。原命題推出式關掉所有錯誤的大門→真理被拒之門外。
a項肯後肯前，不符合;b項否後肯前，排除;c項為原命題的兩次矛盾，正確;d項拒絕錯誤不是關掉所有錯誤的大門的矛盾，原命題推不出。故選c。
(二)如果選項為選言的表達方式，那麼就可以考慮第③個知識點。
【例題】 「如果你關掉了所有錯誤的大門，真理它將被拒之門外」，由以上的判斷可以推出的是：
a、如果真理被拒之門外，那一定是你關掉了所有錯誤的大門
b、只有關掉所有錯誤的大門，真理才不會拒之門外
c、或者沒有關掉所有錯誤的大門，或者真理被拒之門外
d、若接納真理，必須拒絕錯誤
【解析】c。選項有表假設的關聯詞和表選言的關聯詞，因此三個知識角度均要考慮。原命題推出式關掉所有錯誤的大門→真理被拒之門外。
a項肯後肯前，不符合;b項否後肯前，排除;c項為原命題的兩次矛盾，正確;d項拒絕錯誤不是關掉所有錯誤的大門的矛盾，原命題推不出。故選c。
6樓：凹凸蘇
推理的規則就是喲，已經到邏輯性環環向扣。
關於充分條件假言命題否定前件的問題 10
7樓：匿名使用者
你的問題本身就有矛盾：根據命題規則，在-a的情況下不能確定b的真假，但為什麼''若-a則b''和''若-a則-b''，兩個命題為真呢？如你所言，「根據命題規則，在-a的情況下不能確定b的真假」，後面的兩個命題理所當然就是假的啊，怎麼會是真的呢？？？
8樓：匿名使用者
我也有這個問題，不知可否理解為，充分條件假言命推理和充分條件命題推理為兩回事？
9樓：杜英光
要理解這個問題，首先要明白充分條件假言命題的邏輯性質。
充分條件假言命題是指前件是後件的充分條件，所謂充分條件是指：前件真，後件必真；前件假，後件可真可假。反過來，後件真，前件可真可假；後件假，前件必假。
也意味著前件真而後件假或者後件假而前件真是不可能的。
所以，充分條件假言推理有兩種有效式：肯定前件式和否定後件式。
肯定前件式是指「肯定前件就要肯定後件」；否定後件式是指「否定後件就要否定前件」。
邏輯學裡的這句話怎麼理解？ 10
10樓：匿名使用者
蘊含：→。就相復
當於日常語制言中的「如果……那麼……」。屬於命題邏輯中的假言命題，從日常的用法就可以知道，a蘊含b的意思就是如果a真，那麼b一定真。關於假言命題的邏輯推理主要就兩種：
推理一前提：a→b真，a真結論：b真推理二前提：
a→b真，b假
邏輯學中的假言命題，有一點不明白。
11樓：我喝百事
p蘊含q的時候
p真q假，則該命題為假；其他情況下該命題都為真之所以為假，是因為p真q真的時候，該命題為真，如果p真q假也為真，那麼就矛盾了
其他情況下，該命題都為真，因為沒有違反邏輯規律邏輯學是一種形式語言，最好不要用實際的語義來思考是否一個命題真補充：之所以p為假的時候，無論q為真為假蘊涵關係都是成立的，是因為，p為假和p為真構成矛盾，在一階邏輯中，矛盾命題蘊含一切命題
12樓：匿名使用者
p真q真 可以推出 q假p假(逆否命題)。其他的並不能推出。
也就是說，"如果嚴重砍伐森林，那麼就會水土流失。"可以推出「如果水土沒有流失，那麼沒有嚴重砍伐森林」。別的不能推出。
如果樓主所說邏輯成立，我是否也可以說這樣一個推斷：
原命題「如果我是男的，那麼我的配偶是女的」正確而同時「如果我不是男的，那麼我的配偶是女的」也是正確的？這很顯然是錯誤的
13樓：手機使用者
由「如果嚴重砍伐森林，那麼就會水土流失」不可能推出「如果不嚴重砍伐森林，那麼就會水土流失」這一結論。因為「如果嚴重砍伐森林，那麼就會水土流失。」是一個充分條件的假言判斷，只能用「肯定p-肯定q」的公式推理，而不能用「否定p-肯定q」。
14樓：c沙塵沙
可以的，用語言解釋給你聽就是「如果沒有嚴重的砍伐森林，也會有水土流失」這句話難道不對嗎？
15樓：蒼劍嘯宇
我也給你說暈了
你的p真q假說反了吧，p真q真，該命題為真，p假q真，該命題也可能為真。
邏輯命題幫忙看看頭都大了，邏輯學中的假言命題，有一點不明白。
所有鳥不可能都是會飛的。矛盾命題是 有些鳥必然不是會飛的。所有的矛盾命題內 是有些容，不的矛盾命題是是，可能的矛盾命題是必然。將兩者置換，就可以得出來了。同理，所有鳥可能不都是會飛的。矛盾命題 有些鳥必然是不會飛的。應該是矛盾命題，而不是等價關係。不是所有的鳥都會飛 存在有鳥不會飛。很容易想通，更本...
關於數學的趣味邏輯推理題，一道趣味數學邏輯推理題。
假設有一個池塘，裡面有無窮多的水。現有2個空水壺，容積分別為5升和6升。問題是如何只用這2個水壺從池塘裡取得3升的水。周雯的媽媽是豫林水泥廠的化驗員。一天，周雯來到化驗室做作業。做完後想出去玩。等等，媽媽還要考你一個題目，她接著說，你看這6只做化驗用的玻璃杯，前面3只盛滿了水，後面3只是空的。你能只...
歷史上最難的邏輯推理題目，世界上最難的邏輯推理題是什麼？
推理過程 首先定位一點，我們是按照房子的位置，從左至右，12345依次排開 挪威人住第1間房，在最左邊。英國人住紅色房子，挪威人住藍色房子隔壁，挪威人房子的顏色只能是綠 黃 白，又 綠色房子在白色房子左面，挪威人住藍色房子隔壁，挪威人只能住黃色房子，抽dunhill香菸，第2間房是藍色房子，又 養馬...