Klassieke logica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
clean up+typo fix, typos fixed: aangeduidt → aangeduid met AWB |
kGeen bewerkingssamenvatting |
||
Regel 11:
Er is een aanzienlijk verschil tussen de traditionele of klassieke logica, die op Aristoteles is gebaseerd, en de sinds de 19de eeuw ontwikkelde symbolische of [[wiskundige logica]] ook wel logistiek genoemd. De klassieke logica is de moderne logica die de resultaten van de traditionele logica rechtvaardigt en uitbreidt. Deze logica is altijd waarheidsfunctioneel, dit wil zeggen dat in één van zijn formuleringen de [[waarheidswaarde]] van een propositie steeds een functie is van de waarheidswaarde van de samenstellende proposities.
Aangezien de klassieke logica behoort tot de [[extensie (predicaatlogica)|extensionele]] logica's geldt ook hier het principe van intersubstitueerbaarheid van gelijke elementen, men kan dus een [[Uitdrukking (wiskunde)|uitdrukking]] in een formule vervangen door een andere die dezelfde waarheidswaarde heeft, de waarheidswaarde van de oorspronkelijke formule mag niet veranderd worden.
== Referenties ==
| |||