▼Shffer's strke 〔論理〕シェファーズストローク, シェファーの棒記号《否定連言の機能；p｜q で「命題の p, q ともに真ではない」を表す》.