Versie van 1 dec 2009 21:21 bewerken Capaccio (overleg \| bijdragen) 131.676 bewerkingen →‎Types uitdrukkingen ← Oudere bewerking		Versie van 4 apr 2010 02:08 bewerken ongedaan maken MrBlueSky (overleg \| bijdragen) 120.425 bewerkingen k WikiCleaner 0.99 - Link naar doorverwijspagina aangepast. Help mee! Nieuwere bewerking →
Regel 76: De evaluatie van een uitdrukking hangt af van de definitie van de wiskundige [[operator (wiskunde)\|operator]]en op het waardesysteem dat in de definitie van deze operator ligt besloten. Zie [[formele semantica]] en [[formeel interpretationisme]] voor de studie van vragen in de [[logica]]. Van twee uitdrukkingen zegt men deze [[equivalent]] (gelijk) zijn als voor elke combinatie van waarden van de vrije variabelen, beide uitdrukkingen hetzelfde resultaat teruggeven, waardoor zij in feite dezelfde [[functie (wiskunde)\|functie]] representeren. De uitdrukking:

Uitdrukking (wiskunde): verschil tussen versies