選言の記法

$(\,\neg\,\varphi\to\psi\,)$ を $\varphi\lor\psi$ と書く。