logica: klein vraagje

[Verwijderd]

Kan iemand mij uitleggen waarom P => Q equivalent is met (P en Q)<=>P en ten tweede: waarom is (P en (P of Q)) equivalent met P? Ik heb al heel veel geprobeerd maar ik kan er via het rekenen met proposities niet achter komen. Please help..... Via de implicatie-regel heb ik de eerste P => Q omgeschreven maar dan snap ik niet hoe je bij die dubbele pijl komt.

[joepP]

Beschrijven en Bewijzen, eerste jaar informatica in Utreg?

[Verwijderd]

ja, jij ook?

<edit> aan je profiel te zien niet <edit>

[joepP]

Op zondag 16 september 2001 19:08 schreef byte het volgende:
ja, jij ook?

<edit> aan je profiel te zien niet <edit>

Toch wel

Ik heb van 96-98 Natuurkunde en Computational Science gedaan, en toen ben ik gaan werken. Nu weer terug naar de Uni, ditmaal Informatica. Ik doe het 1e en 2e jaar in 1 jaar, omdat ik ook nog wat vrijstelling heb.

[Verwijderd]

Snap jij hoe het moet dan, want ik kom niet verder. Heb me er de hele middag al aan zitten ergeren.

[BurningSheep]

je kan het natuurlijk heel makkelijk bewijzen met een waarheidstabel

[Verwijderd]

Ja met een waarheidstabel, das heel makkelijk. Maar het moet via het rekenen met proposities.

[joepP]

Oh ja, hier antwoord op je 1e vraag.

(P n Q) <=> P
((P n Q) => P) n (P => (P n Q))
(^(P n Q) v P) n (^P v (P n Q))
(^P v ^Q v P) n ((^P v P) n (^P v Q))
(True v ^Q) n (True n (^P v Q))
^P v Q
P => Q

Sim-pel

[Verwijderd]

Wat betekent die ^P precies?

<edit> niet ofzo....... <edit>

[0siris]

Duuuuuuuude...ik vind mezelf niet echt dom, maar als ik dit soort dingen zie, weet ik weer waarom ik Nederlands, Engels, Duits, Frans en Grieks heb gekozen destijds

[joepP]

En de tweede:

Als "P n (P v Q) == P" dan is "P <=> (P n (P v Q))" een tautologie.

P <=> (P n (P v Q))
(P => (P n (P v Q))) n ((P n (P v Q)) => P)
...
(verder gewoon A=>B vervangen door ^AvB en alles uitschrijven)
...

Sim-pel

[Verwijderd]

He thanx. Bedankt dat je effe geholpen hebt. Ga ik weer effe lekker verder. En die ^P betekent zeker niet?

[ACM]

goed, dit moet je toch echt zelf kunnen...

Desnoods maak je een waarheidstabel ofzo