Propositielogica

Moderators: dirkwb, Xilvo

Forumregels
(Middelbare) school-achtige vragen naar het forum "Huiswerk en Practica" a.u.b.
Zie eerst de Huiswerkbijsluiter
Reageer

Propositielogica

Hallo,

voor mijn examen moet ik 3 propositielogica bewijzen vinden. Niemand in mijn klas, ik ook niet :shock: , vindt deze. Omdat deze toch op redelijk wat punten staan zou ik iedereen oneindig dankbaar zijn die het kan oplossen.

Er zijn 3 stellingen die bewezen moeten worden:

1) p <--> q, (-p ^ -q) --> -r, r |-- q

2) |-- ((p --> q) --> p) --> p

3) p <--> -(q <--> r), -q, -r, |-- -p

De oplossing is steeds welkom! Help please......

Hartelijk dank,

Joachim

Gebruikersavatar
Berichten: 75

Re: Propositielogica

hallo mensen,

ik heb me al suf gezocht. met al resultaat dat ik 8 uren verspilt heb, en oefening 2 gevonden heb. kan iemand me nog 1 en 3 bezozergen aub??

hartelijk dank!!
True knowledge is knowing that you know nothing

Re: Propositielogica

Ik vroeg me af waar de teken

|--

en de ,

voorstonden

AND, OR of iets heel anders?

Re: Propositielogica

hoi,

Het lijkt me handig om opdr.2. hier uit te werken. Dan weet men hier wat de bedoeling is.

grt,

Niels

Reageer