College 10 en 11 Flashcards
Wat is meervoudige kwantificatie?
Geeft de aanleiding tot bereiksverschillen.
Wat is anaforische terugverwijzing?
Vanuit het consequent naar het antecedent, blijken we (universele) kwantoren nodig te hebben.
Wat is de substitutiemethode?
We bepalen of een formule waar of onwaar is.
Wat is de enige manier om een implicatie onwaar te maken?
Als A dan B
A
Dus B.
Als A waar is, maar B onwaar dan is het ongeldig.
Hoe stellen we vast dat een formule geen gevolg is van een andere formule?
Met kwantoren kun je geen waarheidstabel maken, want de variabele kunnen we er niet inzetten. Je kunt niet in alle denkbare modellen alles controleren. Variabele kunnen namelijk naar alles verwijzen. Als je dus moet aantonen dat iets niet klopt dan hoef je maar een tegenvoorbeeld te verzinnen waarin het niet het geval is. Dus verzin een tegenvoorbeeld in de vorm van een model dat laat zien dat ze formules niet uit elkaar volgen.
Hoe toon je geldigheid aan?
Maak een afleiding. Je weet dan zeker dat je een geldig gevolg hebt.
Wat is de introductie regel van de universele kwantor?
Een universele zin volgt uit een algemeen geval; willekeurig gekozen. Het gaat niet over een specifiek geval.
Wat is de eliminatie regel van een universele kwantor?
Uit een universele zin kunnen we elk gewenst speciaal geval concluderen.
Wat is de introductie regel van de existentiële kwantor?
Existentiële zin volgt uit elk speciaal geval.
Wat is de eliminatie regel van de existentiële kwantor?
Het lijkt op een disjunctie. Iemand heeft een eigenschap. Zonder te weten over wie het gaat, heb je toch een conclusie dat iemand die eigenschap heeft.
