• Wrong document? Swap it for free
  • Written by students who passed
  • Immediately available after payment
  • Read online or as PDF
  • 4,6 TrustPilot
0
Sell
Where do you study
Your language
Start selling Create your account
  • Vrije Universiteit Brussel (VUB)
  • Computerwetenschappen
  • Logica En Formele Systemen
To add items to your wishlist, you must be logged in
Document preview thumbnail
Preview 1 out of 3 pages
Class notes

Propositielogica: Semantiek

0.0
(0 reviews)
- sold
3 pages
2022/2023 Written for academic year
Institution
Vrije Universiteit Brussel (VUB)
Course
Logica En Formele Systemen
Document preview thumbnail
Preview 1 out of 3 pages

Class notes on propositielogica

Content preview

❕
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

Document information

Study
Computerwetenschappen
Uploaded on
April 23, 2023
Number of pages
3
Written in
2022/2023
Type
Class notes
Professor(s)
Ann nowe
Contains
All classes
Report Copyright Violation
$8.61
Wrong document? Swap it for free Within 14 days of purchase and before downloading, you can choose a different document. You can simply spend the amount again.
Written by students who passed
Immediately available after payment
Read online or as PDF
Seller avatar
robinbouchez
Sold
1
Followers
1
Items
10
Last sold
2 year ago
Available in package deal
Product Image
Package deal
Propositielogica
-
-
Sold
3
item
Apr 2023
$25.26
$14.36
43% off More Info

Browse related subjects

Subjects

  • logic
  • logica
  • propositie
  • propositielogica

Why students choose Stuvia

Created by fellow students, verified by reviews

Quality you can trust: written by students who passed their exams and reviewed by others who've used these notes.

Didn't get what you expected? Choose another document

No worries! You can immediately select a different document that better matches what you need.

Pay how you prefer, start learning right away

No subscription, no commitments. Pay the way you're used to via credit card or EFT and download your PDF document instantly.

Student with book image

“Bought, downloaded, and aced it. It really can be that simple.”

Alisha Student

Working on your references?

Create accurate citations in APA, MLA and Harvard with our free citation generator.

Learn more Create citation
Working on your references?

Frequently asked questions