Wetten van de predikaatlogica - Logisch gevolg
3 belangrijke vragen over Wetten van de predikaatlogica - Logisch gevolg
Wat is een logisch gevolg binnen de predikaatlogica?
Q is een logisch gevolg van de uitganspunten P1,P2,P3,....Pn, als voor ieder model dat de uitganspunten Pi waar maken, ook Q waar is.
P1,P2,P3...Pn => Q
P1,P2,P3...Pn => Q
Wat is het verband tussen algemeen geldigheid en logische gevolgen?
Er geldt P1,P2,P3....Pn => Q precies dan als (P1^P2^P3^P4^Pn) -> Q algemeen geldig is.
Waarom volgen de standaardgevolgen uit de standaard geldige formules en standaardequivalenties?
- Omdat .....=> precies dan als ...-> algemeen geldig is
- Omdat ...=> precies dan als .... <=>.....
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.
