>>12045420my exact point is that he hasn't provided a single explicit example. he just goes
>ok so lets say you want to prove A-(BuC)=(AuB)-(AuC)>first assume x is an element of A-(BuC), that'll eventually show that it's a subset of (AuB)-(AuC)>next similarly assume x is an element of (AuB)-(AuC), that'll prove it's a subset of A-(BuC)>now that you've proven they're subsets of each other you've proved that they're equalwhich is fine and i follow the logic of why that's true but it doesn't at all explain what he actually wants us to write down on the homework. especially since he talks about how proofs need to be presented with a specific sort of language but doesn't use it at all when actually proving things himself
