推出符號是什麼
推出符號A是B的充分非必要條件（即B是A的必要非充分條件），可表示為：A=>B；
A是B的必要非充分條件（即B是A的充分非必要條件），可表示為：B=>A；
A是B的充要條件，即：A<=>B。
註：文中所有的符號中，兩橫（=）均要延長至與箭頭（<、>）相交。
聯考中可以用嗎
聯考當然可以用推出符號，連課本上都有的東西考卷上自然也可以用。
正統編教材從三角形一章末尾，在命題的證明中開始使用邏輯推演符號=>(蘊涵之意)讀作“推出”,如“A=>B”,代表了“∵有A，∴有B”，反映著A、B之間的因果關係。“推出”符號的使用，可縮簡證明過程，顯示出證明過程的邏輯結構，使證明的層次分明，簡明扼要，清晰易懂。其實就是把以前的因為所以符號省去，先列出所有的以前寫在因為後的條件，然後寫個推出，再寫出最後的結論，就是為了省得一步一步的推導，應該是更方便了。
推出符號的用法
條件=>結論
當有多個條件時可加上大括弧（右側）即“}”。
如：
∠1 + ∠2 =90°
∠1 + ∠3 =90° }=> ∠2 = ∠3
教科書上推出符號的實例
八年級下冊數學第十一章有這樣一段（P144頁中間）
