Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 13:11
p q p->q Pv (P->Q)Safe schreef: Mooi, maak nu de waarheidstabel voor: P ; Q ; P->Q ; P v (P->Q) ;
0 0 1 1
1 0 0 1
0 1 1 1
1 1 1 1
0 0 1 1
1 0 0 1
0 1 1 1
1 1 1 1
sciencetalk
Hulp nodig propositielogica
2 van 2
0 0 1 1
1 0 0 1
0 1 1 1
1 1 1 1
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 14:13
Mooi, wat is nu je conclusie ...
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 14:41
Claud1a schreef: p q p->q Pv (P->Q)
0 0 1 1
1 0 0 1
0 1 1 1
1 1 1 1
Pv (P->Q)<->P
Niet equivalent met p dus 0
Wel equivalent met P dus 1
Niet equivalent met P dus 0
Wel equivalent met p dus 1
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 14:52
Nee, de bedoeling is na te gaan of de equivalentie (gelijkwaardigheid) geldt en dat zie je in één oogopslag ... ?
Wat was de gestelde vraag (opgave) eigenlijk ...
Wat was de gestelde vraag (opgave) eigenlijk ...
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 14:55
De opdracht was om een waarheidstabel te maken van deze propositieSafe schreef: Nee, de bedoeling is na te gaan of de equivalentie (gelijkwaardigheid) geldt en dat zie je in één oogopslag ... ?
Wat was de gestelde vraag (opgave) eigenlijk ...
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 15:39
Ok, dan ga je verder met P (heb je al) <=> P v (P=>Q). (dat heb je eigenlijk al staan!)
Opm: misschien verstandiger om => ipv -> te gebruiken.
Opm: misschien verstandiger om => ipv -> te gebruiken.
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 15:45
@ safe, bedankt voor je hulp. Dit is niet mijn ding!!!! 
Re: Hulp nodig propositielogica
Geplaatst: za 21 jun 2014, 16:15
Ok, je vraagt maar ...
Re: Hulp nodig propositielogica
Geplaatst: wo 25 jun 2014, 18:56
Kan iemand mij uitleggen waarom de laatste proposities (in het grijs) waar zijn. Ik zie niet waarom.
P= Je haalt de toets
Q= Je krijgt een biertje
P Q P => Q ( P => Q ) ^ P [ ( P=>Q ) ^ P ] =>
0 0 1 0 1
0 1 1 0 1
1 0 0 0 1
1 1 1 1 1
[ ( q) Ù p ] q001ooonnnnnnn
pP0000
q
p Þ q
(p Þ q) Ù p
[ (p Þ q) Ù p ] Þ q