在數學中，當且僅當是一個非常重要的概念。當我們說 A 當且僅當 B 時，意味著 A 和 B 是等價的，即 A 成立當且僅當 B 成立。在本文中，我們將探討如何用數學語言來刻畫“當且僅當”的概念。
首先，我們需要定義“當且僅當”的符號。一般來說，我們使用雙向箭頭“?”表示“當且僅當”。這個符號可以被視為兩個箭頭的組合，一個箭頭表示“如果……那么”，另一個箭頭表示“只有當……才”。因此，“A ? B”可以被理解為“A 如果且僅如果 B”。
http://www.fjhawl.com/common/images/wB6sFPZ6TE_1.jpg
接下來，我們需要定義“當且僅當”的精確含義。我們可以用邏輯符號來表達這個概念。假設 A 和 B 是兩個命題，我們可以用符號“P(A)”表示命題 A 成立，用符號“P(B)”表示命題 B 成立。那么，當我們說“當且僅當 A 成立時 B 成立”時，可以用以下符號表示：
http://www.fjhawl.com/common/images/20180603060711.jpg
P(A) ? P(B)
這個符號的意思是，如果命題 A 成立，則命題 B 也成立；反之，如果命題 B 成立，則命題 A 也成立。這種表達方式非常精確，因為它考慮了兩個命題之間的雙向關系。
我們可以用具體的例子來說明“當且僅當”的使用。假設我們要證明一個三角形 ABC 是等腰三角形，當且僅當 AB = AC。我們可以用以下符號來表達這個概念：
P(ABC 是等腰三角形) ? P(AB = AC)
這個符號的意思是，如果三角形 ABC 是等腰三角形，則 AB = AC；反之，如果 AB = AC，則三角形 ABC 是等腰三角形。這種表達方式非常清晰，因為它明確了等腰三角形和 AB = AC 之間的等價關系。
總之，“當且僅當”是數學中一個非常重要的概念，它可以幫助我們準確地表達兩個命題之間的雙向關系。我們可以使用雙向箭頭符號“?”和邏輯符號來刻畫“當且僅當”的概念，從而更好地理解和應用這個概念。