Matematik

Tableau-metode

28. september 2016 af miesim1 (Slettet) - Niveau: Universitet/Videregående

Hej.

Jeg har fået denne opgave:

Brug tableau-metoden til at afgøre hvilke af følgende formler, der er gyldige. For de ikke-gyldige formler skal du angive en sandhedstilskrivning, som gør formlen falsk (aflæses af en åben, mættet tableau-gren). Forsøg at anvende dekompositionsreglerne i en rækkefølge, der holder tableauerne så små som muligt. Husk også, at du ikke behøver at fortsætte tableau-konstruktionen, hvis du har fundet blot en enkel åben, mættet gren.

a) ((p\rightarrow r)\vee (q\rightarrow r)\rightarr)\rightarrow ((p\vee q)\rightarrow r)

b) p((q\rightarrow r)\rightarrow ((p\rightarrow q)\rightarrow (p\rightarrow r)))

Jeg håber, nogen kan hjælpe. På forhånd tak.


Skriv et svar til: Tableau-metode

Du skal være logget ind, for at skrive et svar til dette spørgsmål. Klik her for at logge ind.
Har du ikke en bruger på Studieportalen.dk? Klik her for at oprette en bruger.