Ich vermute mal, das ? bezeichnet einfach eine falsche Aussage; denn
dann hast du
(A -> (nicht B -> ?)) ist äquivalent zu A -> B
(nicht B -> ?) ist äquivalent zu B
und wenn B wahr ist, ist nicht B falsch, also
nicht B -> ? immer wahr, also stimmt dann die Äquivalenz.
wenn B falsch ist, ist nicht B wahr, und damit dann
nicht B -> ? auch falsch ist, also die Äquivalent stimmt,
muss jedenfall ? eine falsche Aussage sein.
