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 - Logica en formele systemen $10.07
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 - Logica en formele systemen
 2 fois vendu
  • Cours
  • Logica en formele systemen
  • Établissement
  • 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...

[Montrer plus]

Aperçu 3 sur 22  pages

Infos sur le Document

  • 4 novembre 2023
  • 22
  • 2022/2023
  • Resume

Sujets

  • computer wetenschappen
  • logica
  • propositie logica
  • lambda
  • predikaat logica

École, étude et sujet

  • Vrije Universiteit Brussel (VUB)
  • Computerwetenschappen
  • Logica en formele systemen
Tous les documents sur ce sujet (16)

Vendeur

avatar-seller
ofeurekoondo

Avis reçus

Aperçu du contenu

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.

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 $10.07. Vous n'êtes lié à rien après votre achat.

Peut-on faire confiance à Stuvia ?

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

65040 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!

Récemment vu par vous

Examen ·

(1)

HEALTH ASSESSMENT HESI; EXAM 2022 LATEST

Resume ·

(0)

Samenvatting De onderneming (YI4024)

Examen ·

(0)

PSI Practice exam NJ/Answered/A+ Rated/2023

Presentation ·

(0)

Comment évaluer les ressources humaines

Resume ·

(0)

boekverslag aus syrien gefluchtet

Examen ·

(0)

AMSCO: APUSH 4.7/4.8 Latest 2023 Graded A+

Examen ·

(0)

DPR3706 portfolio semester 2 2024

Resume ·

(0)

Huntington’s Disease summary notes

Examen ·

(0)

NRCME Test Bank with Explanations

$10.07  2x  vendu
  • (0)
Ajouter au panier
Ajouté