論理学Logic

部分集合 051 和集合 052 関係論理 053 所属関係 054 向き判定 055 制约充足问题 056 全射 057 全単射 058 論理和 059 結合法則 060 有限部分被覆 061 命題論理 062 三段論法 063 単射 064 存在定理 065 否定 066 断定 067 可換性 068 機能方程式 069 条件式 070 条件文 071 反実仮想 072 論理積 073 XOR問題 074 XOR 075 自動定理証明 076