Matematik/Diskret matematik/Logik

Diskret Matematik
Introduktion	Kombinatorik	Mängder	Logik Satslogik/Predikatlogik	Talteori

Logiken används för att bevisa sanningshalten i matematiska påståenden. Logiken kan indelas i två områden:

• Satslogik
• Predikatlogik

Satslogiken behandlar enklare påståenden typ: om det regnar eller snöar så badar jag inte ((det regnar ∨ det snöar)→¬(badar jag)) medan predikatlogiken även innefattar påståenden om mängder, ex. det finns människor som inte arbetar (∃x ¬arbetar(x))