Formelt bevis for logisk argument

[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 (3.11 KiB) Vist 15090 gange

Det er lidt hen i det simple diskrete matematik, men håber der er nogen der kan hjælpe.

//JoeMcJohn

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