Hulp nodig propositielogica

[moll1moll]

Mooi, maak nu de waarheidstabel voor: P ; Q ; P->Q ; P v (P->Q) ;

p          q                  p->q                 Pv (P->Q)
0          0                      1                          1
1          0                      0                          1
0          1                      1                          1
1          1                      1                          1

[Safe]

Mooi, wat is nu je conclusie ...

[moll1moll]

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

[Safe]

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 ...

[moll1moll]

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 ...

De opdracht was om een waarheidstabel te maken van deze propositie

[Safe]

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.

[moll1moll]

@ safe, bedankt voor je hulp. Dit is niet mijn ding!!!!

[Safe]

Ok, je vraagt maar ...

[moll1moll]

     
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