u/headovrheel

▲ 6 r/logic

Need help with predicate logic translation.

I’ve been struggling with this topic and try to understand it on my own and I never seem to get it. Or maybe I’m just super dumb. I even tried searching up “predicate logic translation for dummies” and still couldn’t understand and it’s getting frustrating. I just wanna know how did “There is no STUDENT who is RESPECTED by every PROFESSOR” turns into ¬∃x (Sx ∧ ∀y (Py → Rxy))
Would appreciate it if someone explain to me like I’m a toddler..I’m having a quiz soon and I DONT wanna mess it up

reddit.com
u/headovrheel — 2 days ago

Need help with roms folder: were those files important? If so, is there anything I can do to fix it like where do I download it back?

Hi guys, I bought this 3DS XL (it came modded) a long time ago, and I recently decided I wanted to try downloading DS games on my own. But of course, something had to go wrong.
Somehow, the SD card got removed (I have no idea how), and when I put it back into my 3DS, everything was gone. So I plugged the SD card into my PC again, and it looks like all of my files are back… except for the ROMs folder. Everything inside it is gone (like a26, a52, a72, etc.), and the only thing left is this.
My question is: were those files important? If so, is there anything I can do to fix it? Sorry for the long paragraph🥹I’m very new to this🙏🏻

u/headovrheel — 10 days ago

Did anyone manage to find a solution to fix the grass glitch in ryujinx?

Some people suggest that I should change to OPENGL but that just makes it super laggy for me so right now I’m using vulkan. I heard it’s because of the amd graphic cards so idk😭

reddit.com
u/headovrheel — 2 months ago