73
Index
AAchilles . . . 38
axiomatisch systeem . . . 55
Bbewering . . . 11
Boole . . . 45
Ccontradictie . . . 36
EEN . . . 12
equivalent . . . 27
Er-Is-kwantor . . . 43
Euclides . . . 62
Euclidische meetkunde . . . 62
exclusieve of . . . 13
GGoldbach . . . 31
grammatica . . . 17, 58 Iimplicatie . . . 15
inclusieve of . . . 13
Mmeerwaardige logica . . . 34
model . . . 55
Modus Ponens . . . 21
Modus Tollens . . . 21
Nnodige voorwaarde . . . 30
Pparadox . . . 36
Peano . . . 65
productieregels . . . 55
propositie . . . 11
Pythagoras . . . 62
Rretorica . . . 14, 71 Ttautologie . . . 36
tegenvoorbeeld . . . 31
VVenn-diagram . . . 44
verzwegen premissen . . . 42
voldoende voorwaarde . . . 30
Voor-Alle-kwantor . . . 42
voorwaarde . . . 30
Wwaarheidstafel . . . 12, 29 ZZeno . . . 37