Een kennismaking met logica - Introductie propositielogica - implicatie en equivalentie

5 belangrijke vragen over Een kennismaking met logica - Introductie propositielogica - implicatie en equivalentie

Welke logische operators is er nog meer naast XOR, NIET, OF en EN? Wat betekenen ze?

ALS... DAN en ALS-EN-SLECHTS-DAN-ALS

ALS... DAN - Als x, dan y. Deze is ook waar als x=onwaar en y=waar

ALS-EN-SLECHTS-DAN-ALS  - Als x, dan y. Deze is juist onwaar als x=onwaar en y=waar.

Wat drukt een dubbele implicatie als ALS-EN-SLECHTS-DAN-ALS uit? Hoe noem je dit?

Equivalentie tussen beide proposities. Je noemt deze dubbele implicatie een bi-implicatie.

Teken een waarheidstabel van ALS... DAN en ALS-EN-SLECHTS-DAN-ALS.

p          | q          | als p DAN q  | p DAN-EN-SLECHTS-DAN-ALS q
-----------------------------------------------------------------
waar     | waar     | waar             |  waar
waar     | onwaar| onwaar         | onwaar
onwaar| waar      | waar             | onwaar
onwaar | onwaar| waar             | waar
  • Hogere cijfers + sneller leren
  • Niets twee keer studeren
  • 100% zeker alles onthouden
Ontdek Study Smart

Wat is voor ons een vreemde eigenschap van een implicatie in vergelijking tot onze taal.

Dat hij waar kan zijn, maar onze intuitie zegt iets anders. Bijvoorbeeld: als de koeien naar het zuiden vliegen, geven ze chocolademelk. Als de de 'koeien vliegen naar het zuiden' onwaar is, dan lijkt het irrelevant om naar het gevolg te kijken. Deze kan in de propositielogica wel waar zijn.

Welke symbolen gebruik je in de propositielogica? Noem ze voor EN, OF, NIET, ALS DAN EN DAN-EN-SLECHTS-DAN-ALS.

^ EN
V OF
-| NIET (pipe symbool alleen onderste helft)
p -> q ALS DAN
p <-> q DAN-EN-SLECHTS-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.
Trustpilot-logo