在上節(jié)筆邏輯中提到的：筆至少是5K構(gòu)成和至少5K構(gòu)成的不一定是筆這個(gè)邏輯關(guān)系嘁圈，趁高鐵上無聊就簡單的解釋一下這些關(guān)系。
關(guān)于充分條件，必要條件的認(rèn)知厚棵，只要學(xué)過數(shù)學(xué)集合學(xué)的都知道這個(gè)邏輯關(guān)系。
充分條件：如果A?B蔼紧，那么A就是B的充分條件婆硬。用集合關(guān)系表示為：有集合A和集合B，如果A?B歉井，那么A就是B的充分條件柿祈。
必要條件：如果B?A，那么A就是B的必要條件哩至。用集合關(guān)系表示為：有集合A和集合B躏嚎，如果A?B，那么A就是B的必要條件菩貌。
充要條件：如果A?B卢佣，那么A與B互為充要條件。用集合關(guān)系表示為：有集合A和集合B箭阶，如果A=B虚茶，那么A與B互為充要條件。
對(duì)充分條件仇参，必要條件嘹叫，充要條件上面已做了詳細(xì)的數(shù)學(xué)說明，那么在邏輯層面淺析一下充分和必要條件來說：
充分條件：若A?B诈乒，則A是B的充分條件罩扇。? 在真假命題來說：A?B是一個(gè)真命題，其逆命題B?A的真假是未知不確定的怕磨。例子：如果天下雨喂饥，那么地就會(huì)濕。該例子作為真命題的話肠鲫，那么有“下雨”這個(gè)條件就一定有“地濕”這個(gè)結(jié)果员帮，但“地濕”這個(gè)結(jié)果不一定就是“天下雨”造成的，也許還可能有其他的條件原因导饲，如灑水車灑的捞高、別人噴的等等氯材。即逆命題是否命題。
必要條件：若B?A棠枉，則A是B的必要條件浓体。? 在真假命題來說：B?A是一個(gè)真命題，其逆命題A?B的真假是未知不確定的辈讶。例子：只有陽光充足命浴，菜才能長得好。該例子作為真命題的話贱除，“菜”要長得好一定要有“陽光充足”這個(gè)條件生闲，但有“陽光充足”這個(gè)條件“菜”不一定就長得好，還需要施肥月幌、澆水等其他條件碍讯。即其逆命題也是否命題。
那么在上面的簡單說明扯躺，就闊以很容易的明白：筆至少5K構(gòu)成====筆?至少5K構(gòu)成捉兴，那么至少5K構(gòu)成只是筆成立的一個(gè)必要條件。即可以得出：至少5K構(gòu)成的不一定是筆录语。
同樣可以證明：段?至少3筆構(gòu)成倍啥，那么至少3筆構(gòu)成只是段成立的一個(gè)必要條件。即：至少3筆構(gòu)成的不一定是段澎埠。
在此就不一一列舉纏論中定理了虽缕，可以自己去發(fā)現(xiàn)證明其有效性。
在纏論中蒲稳，一大部分的定理和定義都是非充要條件氮趋。很多時(shí)候很多人連這個(gè)最基本的邏輯關(guān)系都搞不清，整天迷途在筆段之中江耀，且從未真正明白什么是筆段剩胁。希望能對(duì)你有所幫助。
