Versie van 28 feb 2008 22:07 bewerken Theo Assen (overleg \| bijdragen) 1.232 bewerkingen k linkcorrectie ← Oudere bewerking		Versie van 23 dec 2008 00:38 bewerken ongedaan maken DéRahier (overleg \| bijdragen) 28.170 bewerkingen k diakritische en andere typo's;, Replaced: predikaten → predicaten (2) met AWB Nieuwere bewerking →
Regel 1: Een '''formeel systeem''' is een combinatie van een [[formele taal]] en een verzameling [[afleidingsregel\|afleidings-]] of transformatieregels die zinnen in de formele taal omzetten in nieuwe zinnen. Voorbeelden van formele systemen zijn de [[propositielogica\|propositie-]], [[~~predikatenlogica~~predicatenlogica\|~~predikaten~~predicaten-]] en andere [[logica (wetenschap)\|logica]]'s. {{beg\|wiskunde}}

Formeel systeem: verschil tussen versies