Gebruiker:Daaf Spijker/Kladblok/EchtKlad: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
k Bot: corrigeren verouderde syntax in formules - mw:Extension:Math/Roadmap |
||
Regel 17:
=== Identiteitswet ===
Zijn <math>F</math> en <math>T</math> predicaten waarvoor <math>v(F) = 0</math> en <math>v(T) = 1</math>, dan is:
* <math>(A \
* <math>(A \
Deze equivalenties vormen de ''identiteitswet'' van de propositielogica.
|