Wetten van de propositielogica - Tautologie, contradictie, contingentie - Standaardtautologieën
3 belangrijke vragen over Wetten van de propositielogica - Tautologie, contradictie, contingentie - Standaardtautologieën
Wat is het principe van de wet van de uitgesloten derde?
Het principe houdt verband met het feit dat we slechts twee waarheidswaarden hebben: een formule in de propositielogica is of waar of onwaar, en in het laatste geval is negatie van de formule waar. Andere mogelijkheden zijn er niet.
Wat houdt het generaliseren van tautologieën in?
Dat wat we voor het principe van de uitgesloten derde hebben gedaan, we ook voor andere tautologieën kunnen doen:
Vervang in een tautologie de propositieletters (p, q, ...) door willekeurige formules respectievelijk Φ, Ψ, ...). En wel: elk voorkomen van één propositieletter door dezelfde formule. Alle formules van de verkregen vorm zullen dan ook tautologieën zijn.
Dit levert standaardtautologieën van een algemene vorm op.
Vervang in een tautologie de propositieletters (p, q, ...) door willekeurige formules respectievelijk Φ, Ψ, ...). En wel: elk voorkomen van één propositieletter door dezelfde formule. Alle formules van de verkregen vorm zullen dan ook tautologieën zijn.
Dit levert standaardtautologieën van een algemene vorm op.
Wat is het voordeel van het gebruik van standaardtautologieën?
Het voordeel van het gebruik van standaardtautologieën is dat we nu niet meer een omvangrijke waarheidstabel hoeven op te stellen, het volstaat om de vorm van een formule te herkennen.
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
