College aantekeningen

Propositielogica: Semantiek

Beoordeling

Verkocht

Pagina's

Geüpload op

23-04-2023

Geschreven in

2022/2023

Class notes on propositielogica

Instelling

Vak

Oeps! We kunnen je document nu niet laden. Probeer het nog eens of neem contact op met support.

Meld schending auteursrecht

Geschreven voor

Instelling: Vrije Universiteit Brussel (VUB)
Studie: Computerwetenschappen
Vak: Logica En Formele Systemen

Alle documenten voor dit vak (14)

Documentinformatie

Geüpload op: 23 april 2023
Aantal pagina's: 3
Geschreven in: 2022/2023
Type: College aantekeningen
Docent(en): Ann nowe
Bevat: Alle colleges

Onderwerpen

logic
logica
propositie
propositielogica

Voorbeeld van de inhoud

❕
Propositielogica: Semantiek
Type HOC

Class Logica en formele systemen

Cursus Propositielogica.pdf

Les 2

Waarheidstabellen
“waar” en “onwaar” worden vaak Waarheidswaarden genoemd.

Voor atomen (propositieletters) moet de waarheidswaarde gegeven (of verondersteld) worden

Een waardering is een functie van alle propositieletters naar waarheidswaarden.

Model
Een waardering V heet een model van een formule φ als geldt: V (φ) = 1
De verzameling van alle modellen van φ noteren we MOD(φ) = {V ∣V (φ) = 1}

Propositielogica: Semantiek 1

€7,49

Krijg toegang tot het volledige document:

100% tevredenheidsgarantie

Direct beschikbaar na je betaling

Lees online óf als PDF

Geen vaste maandelijkse kosten

Maak kennis met de verkoper

robinbouchez

Ook beschikbaar in voordeelbundel

Maak kennis met de verkoper

robinbouchez Vrije Universiteit Brussel

Bekijk profiel

Volgen

Verkocht

Lid sinds

2 jaar

Aantal volgers

Documenten

Laatst verkocht

2 jaar geleden

0,0

0 beoordelingen

Recent door jou bekeken

Waarom studenten kiezen voor Stuvia

Gemaakt door medestudenten, geverifieerd door reviews

Kwaliteit die je kunt vertrouwen: geschreven door studenten die slaagden en beoordeeld door anderen die dit document gebruikten.

Niet tevreden? Kies een ander document

Geen zorgen! Je kunt voor hetzelfde geld direct een ander document kiezen dat beter past bij wat je zoekt.

Betaal zoals je wilt, start meteen met leren

Geen abonnement, geen verplichtingen. Betaal zoals je gewend bent via iDeal of creditcard en download je PDF-document meteen.

“Gekocht, gedownload en geslaagd. Zo makkelijk kan het dus zijn.”

Alisha Student

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.

Van wie koop ik deze samenvatting?

Stuvia is een marktplaats, je koop dit document dus niet van ons, maar van verkoper robinbouchez. Stuvia faciliteert de betaling aan de verkoper.

Zit ik meteen vast aan een abonnement?

Nee, je koopt alleen deze samenvatting voor €7,49. Je zit daarna nergens aan vast.

Is Stuvia te vertrouwen?

4,6 sterren op Google & Trustpilot (+1000 reviews) Afgelopen 30 dagen zijn er 47402 samenvattingen verkocht Opgericht in 2010, al 16 jaar dé plek om samenvattingen te kopen

Propositielogica: Semantiek

Geschreven voor

Documentinformatie

Onderwerpen

Voorbeeld van de inhoud

Meer vakken binnen Vrije Universiteit Brussel (VUB) > Computerwetenschappen

Ook beschikbaar in voordeelbundel

Maak kennis met de verkoper

Recent door jou bekeken

Waarom studenten kiezen voor Stuvia

Gemaakt door medestudenten, geverifieerd door reviews

Niet tevreden? Kies een ander document

Betaal zoals je wilt, start meteen met leren

Veelgestelde vragen

Wat krijg ik als ik dit document koop?

Tevredenheidsgarantie: hoe werkt dat?

Van wie koop ik deze samenvatting?

Zit ik meteen vast aan een abonnement?

Is Stuvia te vertrouwen?