• 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)
  • Letteren En Wijsbegeerte
  • Logica en Wetenschapsfilosofie (1020814AER)
To add items to your wishlist, you must be logged in
Document preview thumbnail
Preview 1 out of 14 pages
Exam (elaborations)

Uitgewerkte oefeningen (voorbeeldexamenvragen) Predikatenlogica - PL1 -17/20 in 1e zit!

5.0
(1 reviews)
15 sold
14 pages
2020/2021 Written for academic year
Institution
Vrije Universiteit Brussel (VUB)
Course
Logica en Wetenschapsfilosofie (1020814AER)
Document preview thumbnail
Preview 1 out of 14 pages

Dit document omvat 28 uitgewerkte bewijzen/redeneringen in PL1 (predikatenlogica). De oefeningen komen uit de voorbeeldexamens Logica en Wetenschapsfilosofie van voorbije jaren gedoceerd door prof. Van Bendegem en prof. Van Kerkhove en zijn nagekeken en verbeterd door de assistent. In mijn examenjaar en ook in het jaar (bevestigd door een vriendin die haar examen in dit jaar nam) kwam de vraag van PL1 (1 van de 4 examenvragen) EXACT uit dit document - een ideale voorbereiding voor je examen dus! Ik behaalde voor dit opleidingsonderdeel 17/20.

Content preview

Marie C.


Oefeningen PL1 – predikatenlogica
Het bestand bevat volgende uitgewerkte oefeningen
1) (∃x)(Px ⊃ Qx), (∀x)∼Qx ⊢∼(∀x)Px
2) (∀x)Px ⊢ (∃x)(Rx ⊃ (Px v Qx))
3) (∃x)Px ⊢ (∃x)(Rx ⊃ (Px v Qx))
4) ∼(∃x)Px, (∀x)(∼Px ⊃ Qx) ⊢ (∃x)Qx
5) (∃x)(Px & Qx), (∀x)((Px v Qx) ⊃ Rx) ⊢ (∃x)Rx
6) (∀x)(Px & Qx), (∀x)(Rx ⊃∼Qx) ⊢∼(∃x)Rx
7) (∀x)(Px & Qx), (∃x)(Px ⊃ Rx) ⊢ (∃x)Rx
8) ∼(∀x)Px, (∀x)Qx ⊢ (∃x)(∼Px & Qx)
9) ∼(∃x)Px ⊢ (∀x)(Px ⊃∼Px)
10) (∃x)(Px⊃Qx), (∀x)(Px ⊃∼Qx)⊢∼(∀x)Px
11) (∃x)∼Px, (∀x)(∼Qx⊃Px) ⊢(∃x)Qx
12) (∀x)Px& (∃x)Qx, (∀x)(Qx ⊃Rx)⊢(∃x)(Px& Rx)
13) (∃x)(Px)v (∃x)(Qx)⊢(∃x)(Px v Qx)
14) (∃x)(Px& Qx)⊢(∃x)(Px) &(∃x)(Qx)
15) (∃x)∼(∼Px v Qx) ⊢(∃x)(Px& ∼Qx)
16) (∃x)∼Px ⊢(∃x)(Px ⊃Qx)
17) ~(∀x)(Px⊃Qx) ⊢(∃x)(Px & ~Qx)
18) (∀x)(Px⊃Qx), (∀x)(Px v Qx) ⊢ (∃x)Qx
19) (∀x)(Px⊃(Qx & Rx)), (∃x)(Px v Qx) ⊢ (∃x)Qx
20) (∀x)(Px⊃~Qx) ) ⊢ ~(∃x)(Px & Qx)
(∀x)(Px⊃~Qx) ) ⊢ (∀x)~(Px & Qx)
21) (∃x)(Px⊃~Qx) ⊢ ~(∀x)Px
22) (∀x)(Px⊃(Qx & Rx)), (∃x)~Qx ⊢ (∃x)~Px
23) ⊢ (∀x)(Px ⊃ Qa) = (∃x)(Px) ⊃ Qa
24) ⊢ (∀x)(Pa ⊃ Qa) = (Pa ⊃ (∀x)Qx )
25) (x)(Px  Qx), (x)Qx ⊢ (x)Px
26) (∃x)(Px) ⊢ (x)~Px
27) (x)~Px ⊢ ~(∃x)Px
28) (x)Px ⊢ ~(∃x)~Px

Document information

Study
Letteren En Wijsbegeerte
Uploaded on
February 13, 2022
Number of pages
14
Written in
2020/2021
Type
Exam (elaborations)
Contains
Questions & answers
Report Copyright Violation
$8.09
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
Reputation scores are based on the amount of documents a seller has sold for a fee and the reviews they have received for those documents. There are three levels: Bronze, Silver and Gold. The better the reputation, the more your can rely on the quality of the sellers work.
filosofevub
4.2
(42)
Sold
345
Followers
153
Items
62
Last sold
2 weeks ago

Reviews from verified buyers

Reviewer avatar
nicolecomhair Wijsbegeerte En Moraalwetenschappen · 23 reviews
3 year ago

Browse related subjects

Subjects

  • logica
  • predikatenlogica
  • pl1
  • redeneringen in pl1
  • bewijzen pl1
  • wijsbegeerte
  • letteren en wijsbegeerte
  • taal en letterkunde
  • toegepaste taalkunde
  • voorbeeldexamenvragen pl1
  • voo
  • logica en wetenschapsfilosofie

Why students choose Stuvia

Created by fellow students, verified by reviews

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

Didn't get what you expected? Choose another document

No worries! You can instantly pick a different document that better fits what you're looking for.

Pay as you like, start learning right away

No subscription, no commitments. Pay the way you're used to via credit card 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