Nederlands
Courses
Nederlands
sowiso logo Logic

Open course material Logic offered by KdVI and SMASH

Author: André Heck

Full access via UvAnetID

Available languages: 
nlen
Course content
Propositional Logic
Foreword
THEORY
T
1.
Used resources
Introduction
THEORY
T
1.
Reasoning in everyday life
PRACTICE
P
2.
Reasoning in everyday life
2
THEORY
T
3.
Syntax and semantics of propositional logic
PRACTICE
P
4.
Syntax and semantics of propositional logic
4
THEORY
T
5.
Negation, conjunction, and disjunction
PRACTICE
P
6.
Negation, conjunction, and disjunction
3
THEORY
T
7.
Implication and equivalence
PRACTICE
P
8.
Implication and equivalence
4
Logical consequence and consistency
THEORY
T
1.
Logic puzzles
PRACTICE
P
2.
Logic puzzles
3
THEORY
T
3.
Models and valid consequence
PRACTICE
P
4.
Models and valid consequence
8
THEORY
T
5.
Useful tautologies
THEORY
T
6.
Working with logically equivalent formulas
PRACTICE
P
7.
Working with logically equivalent formulas
6
THEORY
T
8.
Normal forms of logical formulas
PRACTICE
P
9.
Normal forms of logical formulas
3
THEORY
T
10.
Additional digital practice with feedback
Natural deduction
THEORY
T
1.
Introduction: structure of reasoning
THEORY
T
2.
Derivations using natural deduction
THEORY
T
3.
Conjunction reasoning rules
PRACTICE
P
4.
Conjunction reasoning rules
3
THEORY
T
5.
Implication reasoning rules and the repetition rule
PRACTICE
P
6.
Implication reasoning rules
2
THEORY
T
7.
Implication reasoning rules: pencil-and-paper exercises (4 exercises)
THEORY
T
8.
Disjunction reasoning rules
THEORY
T
9.
Disjunction reasoning rules: pencil-and-paper exercises (5 exercises)
THEORY
T
10.
Negation reasoning rules
THEORY
T
11.
Negation reasoning rules: pencil-and-paper exercises (3 exercises)
THEORY
T
12.
Contradiction elimination rule
THEORY
T
13.
Double negation elimination rule
THEORY
T
14.
Contradiction and double negation elimination rules: pencil-and-paper exercises (4 exercises)
Hilbert's deductive system
THEORY
T
1.
Axiomatic logic: Hilbert's system
THEORY
T
2.
Derivations in Hilbert's system: pencil-and-paper exercises (2 exercises)
THEORY
T
3.
Additional digital practice with feedback
Unlock full access  unlock

Open course material Logic offered by KdVI and SMASH

Author: André Heck

Full access via UvAnetID

About us ⋅ Help ⋅ Privacy ⋅ Terms and conditions
Copyright © 2024 SOWISO