Het bewijs uit het ongerijmde
-
- Berichten: 86
Het bewijs uit het ongerijmde
Hallo
Ik zit vast bij het bewijs van uit het ongerijmde.
In mijn cursus staat het volgende:
Ook [¬q => (p ∧ ¬p)] => q is een tautologie (toon dit zelf aan!). Om een uitspraak q te bewijzen kunnen we dus aantonen dat uit ¬q volgt dat p ∧ ¬p. Dit laatste is een contradictie: p en ¬p zijn twee uitspraken die elkaar tegenspreken zodat p ∧ ¬p altijd onwaar is.
Nu vragen ze: bewijs q
Strategie: Neem aan dat ¬q waar is toon aan dat hieruit een contradictie volgt.
Ik heb de tautologie zelf al kunnen aantonen met een waarheidswaardetabel. Ook heb ik al met een waarheidswaardetabel kunnen aantonen dat p ∧ ¬p een contradictie is.
Ik zit echter vast bij hoe ik q nu ga bepalen. De strategie klinkt logisch maar ik heb geen idee hoe en wat.
Ik zou waarheidstabel willen maken maar ik zie geen contradictie ofwel kijk ik er over.
Heeft iemand een idee of ik dit met waarheidswaarde tabellen kan oplossen. Ik zou het liefst in symbolen willen hebben en niet met een voorbeeld wat dat vind ik verwarrend.
Groetjes
Ik zit vast bij het bewijs van uit het ongerijmde.
In mijn cursus staat het volgende:
Ook [¬q => (p ∧ ¬p)] => q is een tautologie (toon dit zelf aan!). Om een uitspraak q te bewijzen kunnen we dus aantonen dat uit ¬q volgt dat p ∧ ¬p. Dit laatste is een contradictie: p en ¬p zijn twee uitspraken die elkaar tegenspreken zodat p ∧ ¬p altijd onwaar is.
Nu vragen ze: bewijs q
Strategie: Neem aan dat ¬q waar is toon aan dat hieruit een contradictie volgt.
Ik heb de tautologie zelf al kunnen aantonen met een waarheidswaardetabel. Ook heb ik al met een waarheidswaardetabel kunnen aantonen dat p ∧ ¬p een contradictie is.
Ik zit echter vast bij hoe ik q nu ga bepalen. De strategie klinkt logisch maar ik heb geen idee hoe en wat.
Ik zou waarheidstabel willen maken maar ik zie geen contradictie ofwel kijk ik er over.
Heeft iemand een idee of ik dit met waarheidswaarde tabellen kan oplossen. Ik zou het liefst in symbolen willen hebben en niet met een voorbeeld wat dat vind ik verwarrend.
Groetjes
- Pluimdrager
- Berichten: 3.505
Re: Het bewijs uit het ongerijmde
Als je aanneemt dat ¬q waar is, wat weet je dan van q?
Merk op dat a=>b gelijkwaardig is met ¬a∨b. Herschrijf daarmee eens
[¬q => (p ∧ ¬p)] => q, en kijk eens of je er dan wel uit komt.
Merk op dat a=>b gelijkwaardig is met ¬a∨b. Herschrijf daarmee eens
[¬q => (p ∧ ¬p)] => q, en kijk eens of je er dan wel uit komt.
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel
-
- Berichten: 86
Re: Het bewijs uit het ongerijmde
Als ¬q waar is dan zou q niet waar moeten zijn.
Als ik de eigenschap die je voorstelt gebruik, krijg ik het volgende:
¬[¬q ∨ (p ∧ ¬p)] ∨ q
Klopt dit?
Als ik de eigenschap die je voorstelt gebruik, krijg ik het volgende:
¬[¬q ∨ (p ∧ ¬p)] ∨ q
Klopt dit?
- Pluimdrager
- Berichten: 3.505
Re: Het bewijs uit het ongerijmde
Werk de uitdrukking die je hebt gevonden eens verder uit door de wetten van De Morgan toe te passen.
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel
- Berichten: 4.545