Mängdlära
När jag skulle bevisa De Morgans lagar så behövde jag bevisa att VL är en delmängd till HL och att HL är en delmängd till VL.
Men när man exemplevis bevisar: 
så räcker det med att man endast bevisar att exemplevis VL ger HL.... varför behöver man inte bevisa att VL är en delmängd till HL och HL är en delmängd till VL på samma sätt som när man bevisar De Morgans lag?
Eftersom att De Morgans lag (uppenbarligen) är viktig nog att den har fått ett namn gissar jag att det är en lag som är grundläggande och som kan luta sig mot för att bevisa samband som inte är fullt så komplicerade att man måste visa att "A är en delmängd till B och B är en delmängd till A så: A=B" för att kunna bevisa likhet; i standardutförandet vill man jobba på med "A är samma som B som är samma som C som är samma som D (A=B=C=D)..."osv.
På samma sätt som att man inte behöver utnyttja sig av derivatans definition varenda gång man skall derivera utan kan utnyttja att det finns standardfunktioner med kända regler för derivering.
Bedinsis skrev:Eftersom att De Morgans lag (uppenbarligen) är viktig nog att den har fått ett namn gissar jag att det är en lag som är grundläggande och som kan luta sig mot för att bevisa samband som inte är fullt så komplicerade att man måste visa att "A är en delmängd till B och B är en delmängd till A så: A=B" för att kunna bevisa likhet; i standardutförandet vill man jobba på med "A är samma som B som är samma som C som är samma som D (A=B=C=D)..."osv.
På samma sätt som att man inte behöver utnyttja sig av derivatans definition varenda gång man skall derivera utan kan utnyttja att det finns standardfunktioner med kända regler för derivering.
fattar inte vad du menar riktigt... varför spelar namnet någon roll
I exemplet visar de att andra raden är lika med första raden och tredje lika med andra osv.
Till slut är det klart att alla raderna är lika även första och sista.
( Eftersom ekvivalens är transitiv om vi ska överteoretisera )
Det finns inget lika direkt bevis för deMorgan utan där får man gå omvägen du beskriver.
