2024-01-23から1日間の記事一覧
とする.このときととの共通部分とは である. の証明 1 (1) 前提 1 (2) 1. ∀-除去 i.e. しかし,空集合の性質はであるから,ととに共通の元は無い(共通性は無い). 1 (3) 2. 1 (4) 3. ∀-導入
4項 等号関係と包含関係の両立性
とする.このときととの共通部分とは である. の証明 1 (1) 前提 1 (2) 1. ∀-除去 i.e. しかし,空集合の性質はであるから,ととに共通の元は無い(共通性は無い). 1 (3) 2. 1 (4) 3. ∀-導入
4項 等号関係と包含関係の両立性