Samenvatting

Samenvatting Alle Definities - Logica en formele systemen

1 keer verkocht

Vak
Logica en formele systemen

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

[Meer zien]

Voorbeeld 1 van de 2 pagina's

Bekijk voorbeeld

Geupload op 4 november 2023
Aantal pagina's 2
Geschreven in 2022/2023
Type Samenvatting

logica
definities
logica en formele systemen

Volgen

ofeurekoondo Lid sinds 1 jaar 5 documenten verkocht

€2,99

In winkelwagen

Opslaan

100% tevredenheidsgarantie
Direct beschikbaar na je betaling
Lees online óf als PDF
Geen vaste maandelijkse kosten

DEFINITIES LOGICA
Propositielogica: syntaxis en semantiek [p46-91]

i. Alfabet [p56]
Het alfabet van de propositielogica bestaat uit :
▪ Een verzameling propositieletters
▪ De logische symbolen ^ v -> …
▪ De hulpsymbolen ( )

ii. Formules [p57]
De formules in de propositielogica zijn als volgt gedefiniëerd :
▪ Elke propositieletter is een formule
▪ Als ϕ en ψ formules zijn, dan zijn !ϕ, (ϕ ^ ψ), (ϕ v ψ), (ϕ -> ψ) en (ϕ <-> ψ)
ook formules
▪ Niets anders is een formule

iii. Substitutie [p63]
Door elk voorkomen van p in ϕ te vervangen door een formule ψ, ontstaat een
nieuwe formule : [ψ/p]ϕ

iv. Waardering [p78]
Een waardering is een functie van alle propositie letters naar de waarheidswaarden
‘waar’ of ‘onwaar’ (0 of 1)

v. Model [p79]
Een waardering V heet een model van een formule ϕ als geldt dat V(ϕ) = 1

vi. Model van een formuleverzameling [p 80]
Een waardering V heet een model van een formuleverzameling Σ als V een model is
van elke formule ϕ ϵ Σ
De verzameling van modellen van Σ wordt genoteerd als Mod(Σ)

vii. Tautologie [p85]
Een formule ϕ heet een tautologie als elke waardering een model is van ϕ

viii. Logisch equivalent [p86]
Twee formules ϕ en ψ heten logisch equivalent als de formule (ϕ <-> ψ) een
tautologie is

ix. Functioneel volledig [p88]
Een verzameling van connectieven C heet functioneel volledig als elke formule ϕ
logisch equivalent is met een formule ψ die enkel connectieven uit C bevat

x. Disjunctieve normaalvorm [p90]
Een formule is in disjunctieve normaalvorm wanneer deze de syntactische vorm
heeft van een disjunctie van conjucties, bestaande uit atomen of negaties van
atomen

Dit zijn jouw voordelen als je samenvattingen koopt bij Stuvia:

Bewezen kwaliteit door reviews

Studenten hebben al meer dan 850.000 samenvattingen beoordeeld. Zo weet jij zeker dat je de beste keuze maakt!

In een paar klikken geregeld

Geen gedoe — betaal gewoon eenmalig met iDeal, Bancontact of creditcard en je bent klaar. Geen abonnement nodig.

Focus op de essentie

Studenten maken samenvattingen voor studenten. Dat betekent: actuele inhoud waar jij écht wat aan hebt. Geen overbodige details!

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Je krijgt een PDF, die direct beschikbaar is na je aankoop. Het gekochte document is altijd, overal en oneindig toegankelijk via je profiel.

Tevredenheidsgarantie: hoe werkt dat?

Onze tevredenheidsgarantie zorgt ervoor dat je altijd een studiedocument vindt dat goed bij je past. Je vult een formulier in en onze klantenservice regelt de rest.