複数辞典一括検索+

3〔数学・論理・コンピュータ〕包摂(ほうせつ)(関係)《A is a bachelor. なら A is a man. のように2つの命題の関係で一方が真なら他方も真である論理関係;【記号】 c‖x🔗🔉

3〔数学・論理・コンピュータ〕包摂(ほうせつ)(関係)《A is a bachelor. なら A is a man. のように2つの命題の関係で一方が真なら他方も真である論理関係;【記号】 c‖xcy》.

ジーニアス英和大辞典 ページ 42918 での数学・論理・コンピュータほうせつ関係記号単語。