なぜか丸一日うそうそビジネス論理学研修を受けたけど、なんか排中律は採用してたので古典論理ベースっぽいね