#Im legit grinning like an idiot at [(Ax[Student(x) -> Happy(x)]^Student(dina)) -> Happy(dina)]s=F
Explore tagged Tumblr posts
Text
hyper aware that Im being a nerd but I can legit feel the way I go all starry-eyed and almost vibrate out of my seat with excitement and happiness at the prospect of math right now
#semantics my beloved#we're doing tautology and I'm being very pathetic#Im legit grinning like an idiot at [(Ax[Student(x) -> Happy(x)]^Student(dina)) -> Happy(dina)]s=F#this is#a billion levels of fun#IM in love and almost weeping happy#[(Ax[me(x)->happy(x)] and stuff lol#(aka: predicate tautology meaning “Im happy”. I think. idk Im freehanding this math lol)
0 notes