@friday The qoto instance says it has! 😢 what a bummer haha

@saxarona probably my app then

@friday @saxarona it does only work partially on the web but not in the app.

@derickflorian @friday
Indeed, it is kinda glitchy still.

I guess it'll just take time :')

@friday @saxarona
I see some formatting when viewing on quoto.org although it is plaintext, crazy spacing, and no nice font handling. I do see the symbols for \wedge and \implies. Of course, there is no deduction by modus ponens if only A is asserted to be true.

@orcmid @friday completely forgot about B over there; of course.

The crazy spacing happens to me as well..

@saxarona @orcmid @friday what can you deduce if we knew not C?

@Satrofu @saxarona @friday
A^B => C, ~C |- ~( A ^ B)

easy enough with truth table, just like modus ponens is. (Classical truth value semantics)

@orcmid @saxarona @friday that's called nodus tollens right?. If a implies b, and not b holds then not a holds.