如果A能推出B，那么A就是B的充分條件。其中A為B的子集，即屬于A的一定屬于B，而屬于B的不一定屬于A，具體的說若存在元素屬于B的不屬于A，則A為B的真子集。必要條件是數(shù)學(xué)中的一種關(guān)系形式。如果沒有A，則必然沒有B；如果有A而未必有B，則A就是B的必要條件，記作B→A，讀作B含于A。

如果A能推出B，那么A就是B的充分條件。其中A為B的子集，即屬于A的一定屬于B，而屬于B的不一定屬于A，具體的說若存在元素屬于B的不屬于A，則A為B的真子集；若屬于B的也屬于A，則A與B相等。在邏輯學(xué)上如果有事物情況A，則必然有事物情況B；如果沒有事物情況A而未必沒有事物情況B，A就是B的充分而不必要條件，簡稱充分條件。緊跟在如果之后。充分條件是邏輯學(xué)在研究假言命題及假言推理時引出的。

陳述某一事物情況是另一件事物情況的充分條件的假言命題叫做充分條件假言命題。充分條件假言命題的一般形式是：如果p，那么q。符號為：p→q(讀作p蘊(yùn)涵于q）。例如如果物體不受外力作用，那么它將保持靜止或勻速直線運(yùn)動是一個充分條件假言命題。

根據(jù)充分條件假言命題的邏輯性質(zhì)進(jìn)行的推理叫充分條件假言推理。充分條件假言推理，就是以充分條件假言命題為大前提，通過肯定前件或否定后件而得出結(jié)論的推理。這種推理結(jié)構(gòu)由三部分組成，其中大前提是充分條件假言判斷，小前提和結(jié)論是由這個充分條件假言判斷的前件或后件組成的判斷。列寧說過：任何科學(xué)都是應(yīng)用邏輯。

體現(xiàn)在刑事偵查中，偵查人員發(fā)現(xiàn)的大量證據(jù)即物證、人證等為小前提，推出結(jié)論的思維過程便是充分條件假言推理在刑事偵查中的運(yùn)用。偵查的任務(wù)是通過現(xiàn)場勘查、調(diào)查訪問，獲取犯罪發(fā)生的情況及作案人的線索。在此基礎(chǔ)上，警察要對案情進(jìn)行分析判斷，斷定案件的性質(zhì)、提出偵查假設(shè)，這包括確定案件發(fā)展的方向，猜測作案人的范圍、制定破案的方向，然后實(shí)行偵查，最終破案。在此過程中，從立案、偵查到結(jié)案，偵查員要探究因果關(guān)系必須運(yùn)用邏輯學(xué)，特別是關(guān)系到對案件偵破關(guān)鍵性意義重大的偵查假設(shè)和推理，都體現(xiàn)著充分條件假言推理在刑事偵查中的重要地位。

必要條件是數(shù)學(xué)中的一種關(guān)系形式如果沒有A，則必然沒有B；如果有A而未必有B，則A就是B的必要條件，記作B→A，讀作B含于A。數(shù)學(xué)上簡單來說就是如果由結(jié)果B能推導(dǎo)出條件A，我們就說A是B的必要條件。在邏輯學(xué)上如果沒有事物情況A，則必然沒有事物情況B；如果有事物情況B就一定有事物情況A，A就是B的必要條件，應(yīng)注意必要條件不是必要不充分條件的簡稱。必要條件是邏輯學(xué)在研究假言命題及假言推理時引出的。

陳述某一事物情況是另一件事物情況的必要條件的假言命題叫做必要條件假言命題。必要條件假言命題的一般形式是：只有p，才q。符號為：p←q(讀作p逆蘊(yùn)涵q） 。例如只有有作案動機(jī)，才會是案犯是一個必要條件假言命題。根據(jù)必要條件假言命題的邏輯性質(zhì)進(jìn)行的推理叫必要條件假言推理。

必要條件假言推理就是以必要條件假言命題為大前提，并根據(jù)必要條件假言命題前、后件關(guān)系的邏輯性質(zhì)進(jìn)行推演的一種推理。這種推理在偵查工作中經(jīng)常運(yùn)用，且已為長期的偵查實(shí)踐所證明。因此，研究、探討其在偵查工作中的具體運(yùn)用，便具有十分重要的意義。刑事偵查的主要任務(wù)就是緝拿作案人歸案，而緝拿作案人關(guān)鍵的一步，就是在偵查活動之前找出作案人作案必須具備的條件。因?yàn)橹挥羞@樣，才能按圖索驥，對符合條件的人進(jìn)行重點(diǎn)審查。在具體的偵查工作中，怎樣才能找出作案人作案必須具備的條件呢?許多優(yōu)秀偵查人員的實(shí)踐經(jīng)驗(yàn)告訴我們，其中一個較好的方法，就是運(yùn)用必要條件假言推理的肯定后件式進(jìn)行推斷。這種推理之所以能用于推斷作案人作案應(yīng)具備的條件，是因?yàn)榭陀^事物之間存在著這樣一種條件聯(lián)系：某一現(xiàn)象或情況不出現(xiàn)或不存在，則另一現(xiàn)象或情況一定不出現(xiàn)或不存在；而另一現(xiàn)象或情況出現(xiàn)或存在，則某一現(xiàn)象或情況就一定出現(xiàn)或存在，即無P就一定無q，有q則一定有p；而必要條件假言命題反映的正是這樣一種聯(lián)系。因此，根據(jù)這種條件聯(lián)系，結(jié)合現(xiàn)場勘查和調(diào)查訪問所掌握的情況，運(yùn)用必要條件假言推理的肯定后件式，就可由另一現(xiàn)象q出現(xiàn)必然地推知某一現(xiàn)象P出現(xiàn)，從而推斷出作案人作案應(yīng)當(dāng)具備的條件。