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 Welcome to Qoto!
Latex is currently not working, bug @freemo to fix it and use images/plaintext in the meantime. ;)
QOTO: Question Others to Teach Ourselves An inclusive, Academic Freedom, instance All cultures welcome. Hate speech and harassment strictly forbidden.