Changes between Version 19 and Version 20 of Maths/Sets
 Timestamp:
 Nov 20, 2018, 12:04:37 PM (16 months ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Maths/Sets
v19 v20 40 40 * {{{A + A' = I}}}  ''either'' in this or in that  ''the law of excluded middle'' 41 41 42 === Syllogism === 43 {{{A ⊃ B}}} and {{{B ⊃ C}}} then {{{A ⊃ C}}}. If all {{{B}}}s are {{{A}}}s and all {{{C}}}s are {{{B}}}s then {{{C}}}s are {{{A}}}s. 44 45 Which is the basis of ''classification'' ({{{classsubclass}}} relationships ({{{isa}}} relationship). 46 42 47 == Types are sets == 43 48