SOWISO - UvA | Logica

Woord vooraf

THEORIE

T

1.

Woord vooraf

Inleiding

THEORIE

T

1.

Redeneren in het dagelijkse leven

OEFENEN

O

2.

Redeneren in het dagelijkse leven

2

THEORIE

T

3.

Syntax en semantiek van propositielogica

OEFENEN

O

4.

Syntax en semantiek van de propositielogica

4

THEORIE

T

5.

Negatie, conjunctie en disjunctie

OEFENEN

O

6.

Negatie, conjunctie en disjunctie

3

THEORIE

T

7.

Implicatie en equivalentie

OEFENEN

O

8.

Implicatie en equivalentie

4

Geldig gevolg en consistentie

THEORIE

T

1.

Logische puzzels

OEFENEN

O

2.

Logische puzzels

3

THEORIE

T

3.

Modellen en geldig gevolg

OEFENEN

O

4.

Modellen en geldig gevolg

8

THEORIE

T

5.

Nuttige tautologieën

THEORIE

T

6.

Werken met logisch equivalente formules

OEFENEN

O

7.

Werken met logisch equivalente formules

6

THEORIE

T

8.

Normaalvormen van logische formules

OEFENEN

O

9.

Normaalvormen van logische formules

3

THEORIE

T

10.

Nog meer digitaal oefenen met feedback

Natuurlijke deductie

THEORIE

T

1.

Inleiding: structuur van redeneringen

THEORIE

T

2.

Afleidingen via natuurlijke deductie

THEORIE

T

3.

Conjunctie-redeneerregels

OEFENEN

O

4.

Conjunctie-redeneerregels

3

THEORIE

T

5.

Implicatie-redeneerregels en de herhalingsregel

OEFENEN

O

6.

Implicatie-redeneerregels

2

THEORIE

T

7.

Implicatie-redeneerregels: pen-en-papier opdrachten (4 opdrachten)

THEORIE

T

8.

Disjunctie-redeneerregels

THEORIE

T

9.

Disjunctie-redeneerregels: pen-en-papier opdrachten (5 opdrachten)

THEORIE

T

10.

Negatie-redeneerregels

THEORIE

T

11.

Negatie-redeneerregels: pen-en-papier opdrachten (3 opdrachten)

THEORIE

T

12.

Contradictie-eliminatieregel

THEORIE

T

13.

Dubbele negatie-eliminatieregel

THEORIE

T

14.

Contradictie- en dubbele negatie-eliminatieregels: pen-en-papier opdrachten (4 opdrachten)

Hilbert's deductief systeem

THEORIE

T

1.

Axiomatische logica: Hilbert's systeem

THEORIE

T

2.

Afleidingen in Hilbert's systeem: pen-en-papier opdrachten (2 opdrachten)

THEORIE

T

3.

Nog meer digitaal oefenen met feedback