数学

|| 学校で習ったやつ

これは「真理値」と「集合論」のコネクターです。

二つを結びつける考え方の１つになります。