 To see that discussive logic is paraconsistent, consider an S5 model, \(M\), such that \(A\) holds at \(w_1\), \(\neg A\) holds at a different world \(w_2\), but \(B\) does not hold at any world for some \(B\). Then both \(A\) and \(\neg A\) hold, yet \(B\) does not hold in \(M\). Hence discussive logic invalidates ECQ.