Exacte logica |
Other editions - View all
Common terms and phrases
1-1-afbeelding afbeelding aftelbaar Analoog associativiteit axioma's bedeling betekent Bew q bewijs bewijsschakels binding commutativiteit connectieven consistent stel proposities deductiebeginsel deductiestelling deelverzamelingen definiëren definitie dingen disjunctie distributiviteit eigenschap elk vast subject elke formule equivalent Evenzo formules functie gedefinieerd gehele getallen geldt gelijkmachtig gewichtsklasse HANS FREUDENTHAL hetgeen iets interpretatie kind kleinste verzameling kwantoren lege verzameling ling machine maken mensen minder machtig modulo modus ponens natuurlijke getallen oftewel oneindig ontstaat onze p v q predicaat predicaat-taal propositietaal pv q q vals rationale getallen reciprociteitswet reële getallen relatie resp schrijven slechts steeds vals steeds ware proposities subject-predicaat-taal substitutie taal taalschat uitspraken veronderstelling vervulbaar verzame verzameling der natuurlijke verzameling der reële verzamelingsleer volgt volledigheidsstelling voorbeeld vrije variabele VxF(x waarde 0 waardetafel waardetoekenning waarheidswaarde Want wijst aan elke xF(x zameling zoals zullen þ v q