Het symbool 1-, ingevoerd door Frege, die de twee delen ervan ontleende aan een complex symboolsysteem. Het betekent hetzij dat wat erop volgt geasserteerd wordt en niet slechts ter overweging wordt gegeven, hetzij, meer gebruikelijk, dat wat erop volgt als logische waarheid of als theorema in een systeem kan worden geasserteerd. ‘p, q\~ f betekent gewoonlijk dat propositie r asserteerbaar is indien propositie p en q als waar zijn gegeven.
Inloggen
Log hier in om direct te kunnen beginnen met schrijven.
Favorieten
Wil je dit begrip toevoegen aan je favorieten? Word dan snel vriend van Ensie en geniet van alle voordelen:
- Je eigen Ensie account
- Direct toegang tot alle zoekresultaten
- Volledige advertentievrije website
- Gratis boek cadeau als welkomstgeschenk