Garantie de satisfaction à 100% Disponible immédiatement après paiement En ligne et en PDF Tu n'es attaché à rien
logo-home
Recherché précédemment par vous
Recherché précédemment par vous
logo
Samenvatting - Predikaatlogica €5,49
Ajouter au panier
Accédez rapidement à
Aperçu
  2.  
  3. Vrije Universiteit Brussel (VUB)
  4.  
  5. Computerwetenschappen
  6.  
  7. Logica en formele systemen

Resume

Samenvatting - Predikaatlogica

1 vérifier
 2 fois vendu

Samenvatting, die de complexe Logica en formele systemen in meerdere stappen overzichtelijk samenvatten. Of je nu studeert met -Propositielogica., ' -Predikaatlogica.', -Definities Logica, -Adequaatheidsstelling. en met een Quiz De grote lambda quiz, De samenvattingen is de sleutel tot s...

[Montrer plus]

Aperçu 3 sur 21  pages

Infos sur le Document

  • 4 novembre 2023
  • 21
  • 2022/2023
  • Resume

Sujets

École, étude et sujet

Tous les documents sur ce sujet (16)

1  vérifier

review-writer-avatar

Par: elien_deproost • 8 mois de cela

Traduit par Google

No explanation of the rules for developing the proofs in predicate logic, nor any exercises about this.

Vendeur

avatar-seller
ofeurekoondo

Avis reçus

Aperçu du contenu

Predikaatlogica



HOC 7

Predikaatlogica

Predikaatlogica is een uitbreiding van propositielogica.
Waarom nodig? Om eigenschappen van individuen te beschrijven (voorbeeld: alle katten miauwen,
Pluche is een kat dus Pluche miauwt (voorbeeld allereerste les). Dat kunnen we niet doen met
propositielogica want de taal is niet rijk genoeg).
Op basis van eigenschappen van individuen willen we kunnen redeneren.

Voorbeeld:

Aanname1: Alle mannen voetballen.
Aanname2: Piet is een man
-Niet weer te geven door propositielogica
- Aanname 2 bevat eigenschap (predikaat genoemd) van een individu en er wordt over deze eigenschap
een conclusie gevormd.

Taal
De taal heeft meer uitdrukkingskracht en bevat dus meer bouwstenen:

1- De predikaatzinnen (een beetje vergelijkbaar met de proposities in de propositielogica,
maar hier gaan predikaatzinnen telkens iets zeggen over individuen.), voorbeelden:
i. Piet voetbalt. (zegt iets over Piet) (Hier is het argument Piet)
ii. Jan bemint Marie (de argumenten zijn Jan en Marie)
iii. Stef is kind van Kees en Ada (De argumenten zijn Stef, Kees en Ada)

Zeggen telkens iets over individuen

Predikaten worden voorgesteld door predikaatletters (hoofdletters) met vast aantal argumenten
(volgorde is belangrijk!).

De individuen noemt men in de taal constanten (voorgesteld door kleine letters.)

Voorbeelden van de notatie (symbolisch geschreven dus):
De argumenten staan tussen de haakjes

i. V(p) (V staat voor voetbalt, p staat voor Piet)
ii. B(j,m) (B staat voor bemint, j voor Jan, M voor Marie)
iii. K(s,k,a) (K voor is kind van, s voor Stef, k voor Kees en a voor Ada)

Alternatieve notaties: zie ppt (dia 6)

2- Functies 11




Voorgesteld door kleine letters (f,g,..)

Ze kunnen bvb wiskundige functies zijn zoals:

1|Pagina

,Predikaatlogica


𝑓(𝑥, 𝑦) = 4𝑥 + 3𝑦 2
Maar ze kunnen ook ruimer zijn dan wiskundige functies, bijvoorbeeld:

𝑚(𝑗)𝑑𝑒 𝑚𝑜𝑒𝑑𝑒𝑟 𝑣𝑎𝑛 𝐽𝑎𝑛 (Het argument is j, j staat voor Jan, en het geeft mij terug de moeder
van Jan.

Nu kan je 𝑚(𝑗) gebruiken in predikaten: 𝐿(𝑗. 𝑚(𝑗))

L staat voor vindt lief. Jan vindt zijn moeder lief.

3- Kwantoren
Uitdrukkingen van hoeveelheid.
Bvb: alle katten miauwen. Dat is de universele kwantor ‘alle’
● ∀: 𝑈𝑛𝑖𝑣𝑒𝑟𝑠𝑒𝑙𝑒 𝑘𝑤𝑎𝑛𝑡𝑜𝑟:′ 𝑎𝑙𝑙𝑒 ′ bvb. Alle mannen voetballen.
● ∃: 𝑒𝑥𝑖𝑠𝑡𝑒𝑛𝑡𝑖ë𝑙𝑒 𝑘𝑤𝑎𝑛𝑡𝑜𝑟: "𝑒𝑟 𝑖𝑠 𝑚𝑖𝑛𝑠𝑡𝑒𝑛𝑠 éé𝑛" bvb. Er is minstens één vrouw die
voetbalt.
Niet precies één maar er is minstens één.
4- Variabelen
Worden ook voorgesteld door kleine letters (maar aan het eind van het alfabet= x,y,z ..)
Waarom nodig? Gebruik van kwantoren introduceert de nood aan variabelen.

Bvb: ∀𝑥(𝐺(𝑥) → ∃𝑦(𝐺(𝑦) ∧ (𝑦 > 𝑥))) (< of > behoren NIET tot de symbolen. Het zijn
predikaten die normaal gezien in prefix notatie geschreven moeten zijn)



We kunnen meerdere kwantoren in één zin combineren.
bvb:

- ∀𝑒𝑛 ∃
o Voor elk getal bestaat er een groter getal.
o Iedereen heeft een moeder (voor iedereen bestaat er een moeder)
- ∃ 𝑒𝑛 ∀
o Er is een verzameling die bevat is in elke verzameling.
o Iemand is de voorouder voor iedereen.

Definitie van het alfabet
Het alfabet van een predikaat logische taal bestaat uit:

- Een verzameling C van individuele constanten: a,b,c… , a1,a2, ..
- Een verzameling P van predikaatletters: P,Q,R…, P1,P2,..
- Een verzameling F van functieletters: f,g,h,..f1,f2,..
- De logische symbolen: ¬.∧.∨. →. ↔. ∀. ∃
- Een aantal individuele variabelen: u,v,w,x,y,z.., x1,x2,..
- De hulpsymbolen ) en (



2|Pagina

, Predikaatlogica


Plaatsigheid: het aantal argumenten van predikaatletters maar ook de functies kunnen argumenten
hebben. Soms wordt het aangeduid met een index. Bvb:
𝑓 3 (𝑎. 𝑏. 𝑐) wil zeggen dat f 3-plaatsig is.



We kunnen uit de definitie afleiden dat de propositielogica een speciaal geval is van de predikaat
logische taal. In de propositielogica hebben we geen individuele constanten. We hebben
predikaatletters maar zonder argumenten (0-plaatsige predikaatletters; 0 argumenten dus. Dat was
juist een van de nadelen daarvan.), we hebben geen functies, we hebben geen variabelen, ∀𝑒𝑛 ∃
gebruiken we in de propositielogica ook niet.

Syntaxis
We gaan de formules definiëren maar in 2 stappen.

- Termen
o Duiden individuele objecten aan.

Definitie (inductieve definitie)
De termen in de predikaatlogica zijn als volgt gedefinieerd:

- Individuele variabelen en constanten zijn termen
- Als f een k-plaatsige functieletter (k argumenten) is en t1, … , tk zijn termen, dan is f(t1,..,tk) ook
een term. (bvb de functie van moeder)
- Niets anders is een term.

Voorbeeld: 𝑓 3 (𝑔2 (𝑥. ℎ1 (𝑦)). 𝑎. 𝑔2 (𝑎. 𝑦)) is een term

Variabelen gaan we gebruiken om individuen aan te duiden die we niet kennen, zoals in de wiskunde.

Prefix vs. infix notatie:

- Prefix Notatie
o Functiesymbool voor de argumenten.
o Voorbeelden: f(x,y), +(x,y), .(x,y)
- Infix Notatie:
o Meestal bij 2-plaatsige functies (en in de wiskunde.)
o Functiesymbool tussen de argumenten
o Voorbeelden: x+y en x.y

In de logica wordt Meestal prefix gebruikt.

Definitie (formules zijn de belangrijkste constructieven) (inductieve definitie)


3|Pagina

Les avantages d'acheter des résumés chez Stuvia:

Qualité garantie par les avis des clients

Qualité garantie par les avis des clients

Les clients de Stuvia ont évalués plus de 700 000 résumés. C'est comme ça que vous savez que vous achetez les meilleurs documents.

L’achat facile et rapide

L’achat facile et rapide

Vous pouvez payer rapidement avec iDeal, carte de crédit ou Stuvia-crédit pour les résumés. Il n'y a pas d'adhésion nécessaire.

Focus sur l’essentiel

Focus sur l’essentiel

Vos camarades écrivent eux-mêmes les notes d’étude, c’est pourquoi les documents sont toujours fiables et à jour. Cela garantit que vous arrivez rapidement au coeur du matériel.

Foire aux questions

Qu'est-ce que j'obtiens en achetant ce document ?

Vous obtenez un PDF, disponible immédiatement après votre achat. Le document acheté est accessible à tout moment, n'importe où et indéfiniment via votre profil.

Garantie de remboursement : comment ça marche ?

Notre garantie de satisfaction garantit que vous trouverez toujours un document d'étude qui vous convient. Vous remplissez un formulaire et notre équipe du service client s'occupe du reste.

Auprès de qui est-ce que j'achète ce résumé ?

Stuvia est une place de marché. Alors, vous n'achetez donc pas ce document chez nous, mais auprès du vendeur ofeurekoondo. Stuvia facilite les paiements au vendeur.

Est-ce que j'aurai un abonnement?

Non, vous n'achetez ce résumé que pour €5,49. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

4.6 étoiles sur Google & Trustpilot (+1000 avis)

69052 résumés ont été vendus ces 30 derniers jours

Fondée en 2010, la référence pour acheter des résumés depuis déjà 15 ans

Commencez à vendre!
€5,49  2x  vendu
  • (1)
Ajouter au panier
Ajouté