65535 characters is quite a lot.

Let's make it B E A U T I F U L:

If we know that \(A \wedge B \implies C\) holds, and we are aware of \(A\) being true, then we can infer \(C\) holds by using _modus ponens_ :)

@saxarona your LaTex has no power here 😂 but I wish it did!

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

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

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

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

Follow

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

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.