Na ist doch alles top.
P ist also jedenfalls falsch.
und damit ¬P wahr und wegen
¬P => ¬R
also auch ¬R wahr.
wenn aber P und R falsch sind, kann er nur in M gewesen sein.
und wie du schon hattest
M => ¬RΛ¬R
folgt aus der Wahrheit von M etwas wahres. Also OK.
P ist also jedenfalls falsch.
und damit ¬P wahr und wegen
¬P => ¬R
also auch ¬R wahr.
wenn aber P und R falsch sind, kann er nur in M gewesen sein.
und wie du schon hattest
M => ¬RΛ¬R
folgt aus der Wahrheit von M etwas wahres. Also OK.