Summary

Samenvatting - Logica en formele systemen

2 purchases

Course
Logica en formele systemen

Institution
Vrije Universiteit Brussel (VUB)

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...

[Show more]

Preview 3 out of 22 pages

View example

Uploaded on November 4, 2023
Number of pages 22
Written in 2022/2023
Type Summary

computer wetenschappen
logica
propositie logica
lambda
predikaat logica

Institution
Vrije Universiteit Brussel (VUB)
Education
Computerwetenschappen
Course
Logica en formele systemen

ofeurekoondo

Member since 1 year 5 documents sold

$9.71

Add to cart

Add to wishlist

100% satisfaction guarantee
Immediately available after payment
Both online and in PDF
No strings attached

Inleiding:

Dia 3: Menselijk redeneren gebeurt via gevolgtrekkingen: Trekken van conclusies op basis van reeds
bestaande kennis.

Natuurlijke taal: Onnauwkeurig, dubbelzinnig en geeft op die manier aanleiding tot foute redeneringen.

Eerste hoofdstuk:
Theorie (Eerste HOC)
Proposities(beweringen) zijn atomair (= elementair). We kunnen daar niet verder inkijken, we kunnen
dat niet verder analyseren.

 Om te vermijden dat je conclusies trekt puur gebaseerd op de propositie

De letters verhinderen dat we die beweringen analyseren (De proposities zijn atomair en we willen ze
niet analyseren!)

Aannames zijn dingen waarvan we ervan uit gaan dat ze waar zijn (veronderstellingen dus.)

Een propositie: Een uitspraak die, gegeven een situatie, waar of onwaar kan zijn (maar nooit zowel waar
als onwaar, ook nooit ‘ik weet het niet’. Propositielogica laat ons alleen maar toe om over een propositie
te zeggen of die waar is of onwaar.)

Bvb. Het regent

Proposities kunnen verbonden worden met de logische connectieven: en, of, niet, als-dan, dan-en-
slechts-dan-als tot logische formules (samengestelde uitspraken)

Niet ¬
En ∧
Of ∨
Als-dan →
Dan-en-slechts-dan- ↔
als

Bij een formele taal zijn er drie belangrijke aspecten:

- Het alfabet: Welke symbolen je mag gebruiken.
- De syntaxis (grammatica): Geheel van regels die aangeeft op welke manier uitdrukkingen in de
taal gevormd mogen worden.
Geeft dus aan hoe je uitdrukkingen kan maken in de taal op basis van de gegeven
symbolen.
- De semantiek (de betekenis): De betekenis van syntactisch correcte uitdrukkingen in een taal.

Als je syntactisch correcte uitdrukkingen hebt, wat is dan hun betekenis.

,De definitie van het alfabet in de propositielogica
• Een verzameling propositieletters:
o Propositie: bewering of uitspraak, uitgedruk in een zin.
Notatie: kleine letters
Bvb. h voor “Jan huilt”
Propositieletters noemen we ook atomaire formules of atomen.
• De logische symbolen (De logische connectieven)
• De hulpsymbolen: ) en (

De definitie van de syntaxis in de propositielogica
De symbolen uit het alfabet combineren via regels tot formules (uitdrukkingen).

!!BELANGRIJK!! De definitie van de formules:

De formules in de propositielogica zijn als volgt gedfinieerd:

1. Elke propositieletter is een formule (basisstap)
2. Als 𝝋 en 𝝍 formules zijn dan zijn ¬𝝋. (𝝋 ∧ 𝝍). (𝝋 ∨ 𝝍). (𝝋 → 𝝍)𝒆𝒏 (𝝋 ↔ 𝝍) ook
formules. (bouwstappen)
3. Niet anders is een formule (afsluitende stap)

Kleine griekse letters stellen abstracte (willekeurige) formules voor, ook formumevariabelen genoemd.

Terminologie:

Negatie ¬𝜑 Niet
Conjunctie (𝜑 ∧ 𝜓) Phi en psi
Disjunctie (𝜑 ∨ 𝜓) Phi of psi
Implicatie (𝜑 → 𝜓) Als phi dan psi
Equivalentie (𝜑 ↔ 𝜓) Phi dan-en-slechts-
dan-als psi

Opgelet: “en” uit onze natuurlijke taal en de logische ‘en’ zijn niet 100% equivalent. Idem voor ‘of’ (zie
dia 16)

Niet klakkeloos vertalen uit de natuurlijke taal (ze hebben niet altijd dezelfde betekenis.)

Rond een negatie mag je geen haakjes zetten!

De manier waarop de formules gedfinieerd zijn noemt men een inductieve definitie.

Eerst ga je zeggen wat het kleinste ding dat je kan hebben (hier voor formules is dat propositieletters.)

Dan ga je zeggen hoe je grotere dingen kan opbouwen (de regels).

Ten slotte: niets anders is een formule.

, Inductieve definitie:

1- 1 of meerdere basisstappen
2- 1 of meerdere opbouwstappen
3- Afsluitende stap

Oefeningen (Eerste deel eerste WPO)
Oefening 6

a) - enkel “constructies” gevormd door stap 1 en 2 zijn geldig.

- Andere constructies zijn niet geldig.

De derde stap sluit dus de niet geldige consutrcties uit.

b) Elke subformule in de constructieboom moet ook een geldige formule zijn.
i. ja
ii. Nee
iii. Ja

Oefening 7

b = “de bus komt”, e = “de trein komt”, a = “de tram komt”

a) (¬𝑏 → ( 𝑒 ∧ 𝑎))
b) ((¬𝑒 → 𝑎) → ¬(𝑒 ∧ 𝑏))
Oefening 10

Rij gebalanceerde haakjes(r.g.h.): Rijen waarvan elk haakje dat open wordt ook gesloten wordt.

Bvb. ( )( )( ), ((( ))), ..

a) De inductieve definitie:
o De basisstap: de meest eenvoudige r.g.h.
▪ () is een r.g.h.
o Opbouwende stap(pen):
▪ als H r.g.h -> (H) r.g.h.
▪ als H r.g.h -> ( )H r.g.h
▪ als H1, H2 -> (H1)H2 r.g.h.
o Afsluitende stap: Niets anders is een r.g.h.

Alternatief: zie opname.

The benefits of buying summaries with Stuvia:

Guaranteed quality through customer reviews

Stuvia customers have reviewed more than 700,000 summaries. This how you know that you are buying the best documents.

Quick and easy check-out

You can quickly pay through credit card or Stuvia-credit for the summaries. There is no membership needed.

Focus on what matters

Your fellow students write the study notes themselves, which is why the documents are always reliable and up-to-date. This ensures you quickly get to the core!

Frequently asked questions

What do I get when I buy this document?

You get a PDF, available immediately after your purchase. The purchased document is accessible anytime, anywhere and indefinitely through your profile.

Satisfaction guarantee: how does it work?

Our satisfaction guarantee ensures that you always find a study document that suits you well. You fill out a form, and our customer service team takes care of the rest.

Who am I buying these notes from?

Stuvia is a marketplace, so you are not buying this document from us, but from seller ofeurekoondo. Stuvia facilitates payment to the seller.

Will I be stuck with a subscription?

No, you only buy these notes for $9.71. You're not tied to anything after your purchase.

Can Stuvia be trusted?

4.6 stars on Google & Trustpilot (+1000 reviews)

69052 documents were sold in the last 30 days

Founded in 2010, the go-to place to buy study notes for 15 years now

Start selling

Summary

Samenvatting - Logica en formele systemen

Document information

Subjects

Written for

Seller

Reviews received

Content preview