Sætninger i DisMat

Dette er en samling af stort set alle sætninger i DisMat-bogen, samlet ét sted

1 Logik
Alle sætninger her kan findes i Logiske ækvivalenser.