用語： https://en.wikipedia.org/wiki/Atomic_formula atomic, atom https://en.wikipedia.org/wiki/Literal_(mathematical_logic) literal positive literal negative literal complementary literal 対応： テンソル計算 論理 アトム空間 アトム 正リテラ…