假言推理就是前提中有一個是假言判斷并且根據假言判斷前后件之間的關系而推出結論的推理,也稱為假言三段論。假言推理可以分為三類:充分條件假言推理、必要條件假言推理和充分必要條件假言推理。
一、充分條件假言推理
充分條件假言推理是前提中有一個是充分條件假言判斷的假言推理。
充分條件假言推理有兩條規則:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件不能否定后件,肯定后件不能肯定前件。
根據規則,充分條件假言推理有兩個有效式:
1.肯定前件式,其推理形式如下:
如果p,那么q
p
所以,q
也可以符號化為:
((p?q)ùp)?q
2.否定后件式,其推理形式如下:
如果p,那么q
非q
所以,非p
也可以符號化為:
((p?q)ù?q)??p
二、必要條件假言推理
必要條件假言推理是前提中有一個是必要條件假言判斷的假言推理。
必要條件假言推理有兩條規則:第一,否定前件就要否定后件,肯定后件就要肯定前件;第二,肯定前件不能肯定后件,否定后件不能否定前件。
根據規則,必要條件假言推理有兩個有效式:
1.否定前件式,其推理形式如下:
只有p,才q
非p
所以,非q
也可以符號化為:
((p?q)ù?p)??q
2.肯定后件式,其推理形式如下:
只有p,才q
q
所以,p
也可以符號化為:
((p?q)ùq)?p
三、充分必要條件假言推理
充分必要條件假言推理是前提中有一個是充分必要條件假言判斷的假言推理。
充分必要條件假言推理有兩條規則:第一,肯定前件就要肯定后件,否定后件就要否定前件;第二,否定前件就要否定后件,肯定后件就要肯定前件。
根據規則,充分必要條件假言推理有四個有效式:
1.肯定前件式,其推理形式如下:
p當且僅當q
p
所以,q
也可以符號化為:
((p?q)ùp)?q
2.否定后件式,其推理形式如下:
p當且僅當q
非q
所以,非p
也可以符號化為:
((p?q)ù?q)??p
3.否定前件式,其推理形式如下:
p當且僅當q
非p
所以,非q
也可以符號化為:
((p?q)ù?p)??q
4.肯定后件式,其推理形式如下:
p當且僅當q
q
所以,p
也可以符號化為:
((p?q)ùq)?p
聲明:
(一)由于考試政策等各方面情況的不斷調整與變化,本網站所提供的考試信息僅供參考,請以權威部門公布的正式信息為準。
(二)本網站在文章內容來源出處標注為其他平臺的稿件均為轉載稿,免費轉載出于非商業性學習目的,版權歸原作者所有。如您對內容、版權等問題存在異議請與本站聯系,我們會及時進行處理解決。
相關推薦
2023年10月浙江自考幼兒園組織與管理復習資料:我國幼教事業發展的方針
05-162023年浙江自考西方行政學說史復習資料:西方行政學的產生
03-022022年浙江自考公共政策復習筆記第五章
09-192023年4月浙江自考學前教育史學習筆記:史前社會幼兒教育的方法
12-062022年浙江自考中國古代文學史(一)第三編第九章復習資料
10-312023年4月浙江自考中外教育簡史復習筆記:法國近代教育制度
12-082023年浙江自考人際關系心理學串講筆記:利他行為理論
03-062023年4月浙江自考普通邏輯復習筆記:假言推理
02-102023年10月浙江自考語言學概論復習筆記第七章(語言和社會)
09-162023年10月浙江自考“外國文學史”復習筆記(第一章)
09-12