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 (3.11 KiB) Vist 11742 gange
//JoeMcJohn
Formelt bevis for logisk argument
Formelt bevis for logisk argument
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..
Det er lidt hen i det simple diskrete matematik, men håber der er nogen der kan hjælpe.
//JoeMcJohn
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..
Det er lidt hen i det simple diskrete matematik, men håber der er nogen der kan hjælpe.
//JoeMcJohn
Re: Formelt bevis for logisk argument
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.
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.