Zusammenfassung

Samenvatting Alle Definities - Logica en formele systemen

26 mal angesehen 1 mal verkauft

Kurs
Logica en formele systemen

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

[ Mehr anzeigen ]

vorschau 1 aus 2 Seiten

Zum Beispiel

Hochgeladen auf 4. november 2023
Anzahl der Seiten 2
geschrieben in 2022/2023
Typ Zusammenfassung

logica
definities
logica en formele systemen

Hochschule
Vrije Universiteit Brussel (VUB)
Studium
Computerwetenschappen
Kurs
Logica en formele systemen

Folgen

ofeurekoondo

Mitglied seit 1 Jahren 5 dokumente verkauft

2,99 €

In den Einkaufswagen

Zur Wunschliste hinzufügen

100% Zufriedenheitsgarantie
Sofort verfügbar nach Zahlung
Sowohl online als auch als PDF
Du bist an nichts gebunden

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

Alle Vorteile der Zusammenfassungen von Stuvia auf einen Blick:

Garantiert gute Qualität durch Reviews

Stuvia Verkäufer haben mehr als 700.000 Zusammenfassungen beurteilt. Deshalb weißt du dass du das beste Dokument kaufst.

Schnell und einfach kaufen

Man bezahlt schnell und einfach mit iDeal, Kreditkarte oder Stuvia-Kredit für die Zusammenfassungen. Man braucht keine Mitgliedschaft.

Konzentration auf den Kern der Sache

Deine Mitstudenten schreiben die Zusammenfassungen. Deshalb enthalten die Zusammenfassungen immer aktuelle, zuverlässige und up-to-date Informationen. Damit kommst du schnell zum Kern der Sache.

Häufig gestellte Fragen

Was bekomme ich, wenn ich dieses Dokument kaufe?

Du erhältst eine PDF-Datei, die sofort nach dem Kauf verfügbar ist. Das gekaufte Dokument ist jederzeit, überall und unbegrenzt über dein Profil zugänglich.

Zufriedenheitsgarantie: Wie funktioniert das?

Unsere Zufriedenheitsgarantie sorgt dafür, dass du immer eine Lernunterlage findest, die zu dir passt. Du füllst ein Formular aus und unser Kundendienstteam kümmert sich um den Rest.

Wem kaufe ich diese Zusammenfassung ab?

Stuvia ist ein Marktplatz, du kaufst dieses Dokument also nicht von uns, sondern vom Verkäufer ofeurekoondo. Stuvia erleichtert die Zahlung an den Verkäufer.

Werde ich an ein Abonnement gebunden sein?

Nein, du kaufst diese Zusammenfassung nur für 2,99 €. Du bist nach deinem Kauf an nichts gebunden.

Kann man Stuvia trauen?

4.6 Sterne auf Google & Trustpilot (+1000 reviews)

45.681 Zusammenfassungen wurden in den letzten 30 Tagen verkauft

Gegründet 2010, seit 15 Jahren die erste Adresse für Zusammenfassungen

Starte mit dem Verkauf

Populäre Bücher

Beliebte Hochschulen und Universitäten

Beliebte Hochschulen

Verkäufer