Velkommen til Matematikcenter online forum
Opret dig som bruger og få gratis adgang til Danmarks eneste gratis matematikhjælp for alle.
Har du allerede en bruger? Log ind her.

Formelt bevis for logisk argument

Besvar
JoeMcJohn
Indlæg: 20
Tilmeldt: 18 sep 2020, 16:09

Formelt bevis for logisk argument

Indlæg af JoeMcJohn »

Hej Matematik Center

Jeg skal give et formelt bevis for dette, og er godt klar over at jeg skal anvende slutningsreglerne, men kan dælme ikke lige se hvordan jeg skal komme til en løsning..
Udklip.PNG
Udklip.PNG (3.11 KiB) Vist 2784 gange
Det er lidt hen i det simple diskrete matematik, men håber der er nogen der kan hjælpe.

//JoeMcJohn
JensSkakN
Indlæg: 1199
Tilmeldt: 17 mar 2020, 12:33

Re: Formelt bevis for logisk argument

Indlæg af JensSkakN »

Jeg ved ikke, hvordan den slags skal skrives, men her får du et 'sprogligt' bevis, så må du selv omskrive det.
Ifølge a) gælder, at hvis P er sand, så er Q sand.
Deraf følger, at hvis Q er falsk, så er P falsk. Ifølge c) vil det medføre, at R er sand.
Ifølge b) gælder, at enten er R falsk eller T er sand. Så hvis vi ved, at R er sand, så må T være sand.
Ifølge d) har vi, at hvis T er sand, så er S sand.

Til sammen giver det, at hvis Q er falsk, så er S sand.
Dette var, hvad vi skulle vise.
Besvar