Klassieke logica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: ru:Классическая логика |
aanvulling |
||
Regel 1:
Als '''klassieke logica''' worden de gebruikelijke, tweewaardige [[propositielogica|propositie-]] en [[predikatenlogica]] aangeduid, in tegenstelling tot niet-klassieke logica's zoals de [[modale logica|modale]], [[intuïtionistische logica|intuïtionistische]] en [[meerwaardige logica]]'s. 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 porposities.
Aangezien de klassieke logica behoort tot de extensionele logica's geldt ook hier het principe van intersubstitueerbaarheid van gelijke elementen, men kan dus een uitdrukking in een formule vervangen door een andere die dezelfde waarheidswaarde heeft, de waarheidswaarde van de oorspronkelijke formule mag niet veranderd worden.
{{beg|wiskunde}}
| |||