Bij vraag 1c is me niet helemaal duidelijk wat je doet. Je hebt daar P ← (Q ∨ R) en (Q ∨ R) → P staan. Het gebruik van ← is niet helemaal standaard. Als je dat hebt geleerd als ‘alleen als’, dan lijkt het me goed, anders niet per se. (Q ∨ R) → P laat echter de mogelijkheid open dat hij niet slaagt, noch in juni, noch in augustus, maar toch hard heeft gewerkt. Ik zou zeggen dat men eerder op zoek is naar een equivalentie: P ↔ (Q ∨ R). (Of iets uitgebreider (P → (Q ∨ R)) ∧ (¬P → ¬(Q ∨ R)), maar die zijn aan elkaar gelijk. Overigens worden namen van maanden in het Nederlands niet met hoofdletters geschreven, maar dat doet de vraagsteller ook fout.quote:Op zaterdag 3 oktober 2009 02:10 schreef Friek_ het volgende:
Hallo!Ik heb voor het vak 'logica en taalanalyse 1' de voorbeeldtussentoets gemaakt die op BlackBoard stond. Het gaat over filosofische logica (vertalen), propositielogica, semantische tableaux en waarheidstafels. Zou iemand deze voor mij na kunnen kijken en feedback kunnen leveren? Bedankt!
Wanneer er in de natuurlijke taal 'alleen als' voorkomt heb ik van de docent geleerd dat ik het connectief → diende om te draaien. Alleen als φ, ψ drukt juist uit ψ → φ. Ik heb even de collegesheet opgezocht waarin dit werd uitgelegd:quote:Op zaterdag 3 oktober 2009 09:19 schreef Iblis het volgende:
[..]
Bij vraag 1c is me niet helemaal duidelijk wat je doet. Je hebt daar P ← (Q ∨ R) en (Q ∨ R) → P staan. Het gebruik van ← is niet helemaal standaard. Als je dat hebt geleerd als ‘alleen als’, dan lijkt het me goed, anders niet per se. (Q ∨ R) → P laat echter de mogelijkheid open dat hij niet slaagt, noch in juni, noch in augustus, maar toch hard heeft gewerkt. Ik zou zeggen dat men eerder op zoek is naar een equivalentie: P ↔ (Q ∨ R). (Of iets uitgebreider (P → (Q ∨ R)) ∧ (¬P → ¬(Q ∨ R)), maar die zijn aan elkaar gelijk. Overigens worden namen van maanden in het Nederlands niet met hoofdletters geschreven, maar dat doet de vraagsteller ook fout.
quote:En 1d mist? Of ligt dat aan mijn Open Office?
Even weer een collegesheet erbij:quote:Bij 2 heb je niet expliciet antwoord gegeven op c) en d)? Dat valt af te leiden natuurlijk doordat a & d en b & c elkaar uitsluiten.
Hier moet ik nog eens over gaan zitten volgens mij. De basale concepten van de propositielogica snap ik nu wel, maar de eigenschappen vind ik persoonlijk iets lastiger. Iets zegt me dat je die hiervoor moet kennen.quote:Wat 6 betreft: deze is heel flauw. De bedoeling is dat je gewoon een beetje knoeit, totdat je een formule met ∨ en ∧ en → hebt die klopt. Je ziet dat er heel veel F is, dus je zou b.v. kunnen beginnen met (φ ∧ ψ ∧ χ), maar dan voldoe je niet aan rij 6. Dus voeg je nog toe: (φ ∧ ψ ∧ χ) ∨ (¬φ ∧ ψ ∧ ¬χ).
Hmm, klopt helemaal. Zal volgende keer wat efficiënter te werk gaan wanneer ik zoiets uitschrijf.quote:Op zaterdag 3 oktober 2009 10:03 schreef Iblis het volgende:
Bij tableau kun je iets slimmer zijn denk ik. Je splitst Q ∨ R op en dan heb je de R-tak, waarbij je nog ¬P ∨ ¬Q en ¬P ∨ ¬R hebt, waarom kies je er niet voor als eerste ¬P ∨ ¬R te splitsen? De volgorde maakt niet uit immers, en als je dat doet sluit die tak eerder.
Ja, ik vind die ook niet heel sterk, maar vooruit, gewoon met je docent meegaan.quote:Op zaterdag 3 oktober 2009 13:50 schreef Friek_ het volgende:
Je zou inderdaad zeggen dat 'alleen als' een soort 'dan en slechts dan'-connectief (de equivalentie) uitdrukt; deze opmerking had ik ook geplaatst toen hij over de materiële implicatie sprak. Helaas ben ik alweer vergeten wat hij voor reactie gaf.![]()
Lijkt me correct.quote:Maar daar hoort volgens mij (P & ¬Q) → R te staan.
P: Jan werkt hard
Q: Jan slaagt in Juni voor Logica
R: Jan slaagt in Augustus voor Logica
Snap ik, maar ik zou dan (in het geval van een echte toets) expliciet zeggen dat die andere twee niet opgaan.quote:Even weer een collegesheet erbij:
[ afbeelding ]
Uit deze collegesheet had ik drie mogelijkheden afgeleid:
Tautologie + consistent (alleen maar W's of 1'en)
Inconsistent/contradictie (alleen maar F's of 0'en)
Contingent + consistent (zowel W's als F's of 0'en als 1'en)
Zodoende had ik dus beredeneerd dat hij zowel contingent als consistent moest zijn (er is immers één mogelijkheid waarin hij helemaal waar is).
Je kunt dit op twee manieren aanpaken, ik kopieer even die tafel (ik gebruik die regelnummers niet hieronder, dus met Geval 1 bedoel ik het geval op regel 2):quote:Hier moet ik nog eens over gaan zitten volgens mij. De basale concepten van de propositielogica snap ik nu wel, maar de eigenschappen vind ik persoonlijk iets lastiger. Iets zegt me dat je die hiervoor moet kennen.
1 2 3 4 5 6 7 8 9 | T T T | T T T F | F T F T | F T F F | F F T T | F F T F | T F F T | F F F F | F |
1 2 3 4 5 6 7 8 9 | T T T | T T T F | F T F T | F T F F | T F T T | F F T F | T F F T | F F F F | T |
1 2 | (φ ∧ ψ ∧ χ) ∨ (φ ∧ ¬ψ ∧ ¬χ) ∨ (¬φ ∧ ψ ∧ ¬χ) ∨ (¬φ ∧ ¬ψ ∧ ¬χ) |
2nd bedoel je?quote:Op zondag 4 oktober 2009 16:10 schreef GlowMouse het volgende:
Druk op de linker blauwe knop onder het scherm.
quote:Op zondag 4 oktober 2009 16:24 schreef GlowMouse het volgende:
Oh, dan moet je wel onder vars kijkensorry JD
Forum Opties | |
---|---|
Forumhop: | |
Hop naar: |