In dit college worden de beginselen van de Propositielogica besproken. Eerst wordt enige aandacht geschonken aan de opbouw van wiskundige beweringen, waarbij connectieven een grote rol spelen. Vervolgens worden waarheidstabellen geïntroduceerd en wordt laten zien hoe beweringen in de propositielogica getest kunnen worden op waarheid.
Vervolgens wordt gekeken naar een aantal eigenschappen van een wiskundige bewering. Denk hierbij aan tautologieën, contradicties en equivalente formules. Tenslotte worden de kwantoren geïntroduceerd en wordt gekeken hoe een wiskundige bewering in zijn negatie omgezet kan worden. Als toepassing hiervan zullen we de bewijsmethode ‘uit het ongerijmde’ bekijken.
-
Recurrente Betrekkingen