Matematikai logika

3. A kijelentés és az igazságérték

4. A logikai műveletek

A tagadás („nem”)

Az „és” (konjunkció)

A megengedő „vagy” és a kizáró „vagy..., vagy...”

A „ha..., akkor...” (implikáció)

Az „akkor és csak akkor” (ekvivalencia)

A hat művelet egy igazságtáblázatban

5. Logika és halmazműveletek

Melyik logikai művelet melyik halmazműveletnek felel meg

Tétel: a de Morgan-azonosságok, és a bizonyításuk

Az implikáció tagadása és a kontrapozíció

6. A „minden” és a „van olyan”

A két kvantor jelentése

A kvantoros állítások tagadása

Megfordítás, ellenpélda, igazolás

7. Mintapélda 1: implikáció, megfordítás és összetett kijelentés

8. Mintapélda 2: egy kvantoros állítás tagadása

9. Mintapélda 3: másodfokú függvény és az implikáció logikai értéke

10. Tipikus hibák

11. Ellenőrzés: hogyan nézd meg, hogy jó-e a válaszod

12. Alkalmazás és matematikatörténet

13. Összefoglaló

14. Kulcsfogalmak

15. Lehetséges vizsgakérdések és rövid válaszok