Changes between Version 19 and Version 20 of Maths/Sets


Ignore:
Timestamp:
Nov 20, 2018, 12:04:37 PM (16 months ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Maths/Sets

    v19 v20  
    4040* {{{A + A' = I}}} - ''either'' in this or in that - ''the law of excluded middle''
    4141
     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
     45Which is the basis of ''classification'' ({{{class-subclass}}} relationships ({{{is-a}}} relationship). 
     46
    4247== Types are sets ==
    4348