Inleiding - De geboorte van de moderne logica - De taal van de hedendaagse predicatenlogica

16 belangrijke vragen over Inleiding - De geboorte van de moderne logica - De taal van de hedendaagse predicatenlogica

De taal van de predicatenlogica is een formele taal. Waaruit bestaat ze?

  • Woordenboek
  • Regels waarmee we alle en enkel de grammaticale zinnen kunnen vormen. 

Waaruit bestaat het vocabularium (woordenboek) van de logische taal?

Logische en niet-logische constanten.

Logisch vocabularium - wat betekent =

Is gelijk aan
  • Hogere cijfers + sneller leren
  • Niets twee keer studeren
  • 100% zeker alles onthouden
Ontdek Study Smart

Logisch vocabularium - wat betekent

Het is niet het geval dat

Logisch vocabularium - wat betekent Ѵ

Of

Logisch vocabularium - wat betekent  ٨


En

Logisch vocabularium - wat betekent →

Als....dan

Logisch vocabularium - wat betekent ↔

Dan en slechts dan als

Logisch vocabularium, wat betekent Ɐ

Alle

Logisch vocabularium. Wat betekent 

Sommige

Hoe worden beschrijvende uitdrukkingen ook wel genoemd?

Niet-logische constanten

In welke twee soorten komen de beschrijvende constanten (niet-logische constanten) voor?

Individu constanten
Predicaatconstanten

Wat zijn open zinnen of zinsfuncties

Formules van taal, geen echte zinnen
Predicaten verbonden met variabelen
Fx of Bxy

Hoe kunnen we een waarheidswaarde toekennen aan open zinnen of zinsfuncties?

Als we weten wat de waarde van de voorkomende variabelen (x en y) is, of voor welke invullingen van de variabelen zo'n formule waar is.

Wat betekend Ɐx?

Universele kwantor
voor ieder individu geldt

Wat betekent Ɐx Fx?

Voor ieder individu geldt dat het de eigenschap F heeft.
Ɐx Fx is waar als Fx waar is voor alle waarden van X

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