Modus Ponens on Battle of the Bits

45100

omg you have some very cool music

60433

I'll give you 10 b00ns because your music is amazing

63467

happy burfday !!!

63471

Happy Botbday weeee~

63499

hey hey woah
6 years dang! happy burfday!!! ^O^

63503

I've been away for awhile, but I'm super happy to be back! It fills me with heart-magic! <3

64053

Thanks for voting on my tune. A longer message to you can be found as a reply.

Anyway, I promised you a boon. Every BotB'r that comments of favs my tunes during competition gets one ;)

64070

13 boons is chump change. :)

Go back and read what I wrote on "Defrost" again. I would like it very much if you also reviewed Loch NES. My WildChip Renoise tune. :D

http://battleofthebits.org/arena/Entry/Loch+NES+%5BFinal+Mk1.0%5D/20933/

66463

Now that I'm in boolean algebra I get your name/icon

And now I can't write it down without thinking "hey that's the BotBr"

66486

I am honored :D

What set of symbols are you using? Do you use "p ⇒ q" for "if p then q," or do you use "p ⊃ q," or some other thing?

66756

OH NO ERIC YOU'RE GOIN STRAIGHT TO HECK FOR WHAT YOU DONE

66772

I genuinely wish I knew what you were talking about

66779

Whoops I forgot I posted here

We use p → q for conditionals.

72648

Horseshoe (SL) master race

p ⊃ q
p
_____
q

Edit: holy moly just covered conditional elimination today and had my mind blown. Your name... it makes sense now. Now all you need is the ponendo bit in the middle haha.

72650

I took a couple of classes back in university where we used the horseshoe set of symbols, but I think since then they've switched over to using arrows and stuff.

78590

Yo! happy botb anniv. keep the tunes and games pumping!

78601

podus monens burfday!
7 years is a long time : o

78602

Omg it is my birfay! :U Thanks gang <3