I can't even get to the actual first order logic part. Am I retarded?
yes
>>16946681it hurts to find out like this anon...
>>16946681yes
>>16946609Why does anyone need to know this stuff?First order logic in programming. (Are the lights on in the house true/false? True = yes ; false =no) true- implies someone home false implies no one is home.All you’re doing is using math to mesure what’s going on in the world. You do this in your head daily. Now all you need to do is write the usual logic you make in your head on the daily.Bread is low. I need to buy more breadMathematically x(is bread) k=(number of brea slices) then we add whatever to calculate or measure how that sequence happens to buy bread.Vola… a powerful computation .
>>16946609No. I tried a myriad of logic books and all of them were confusing as fuck. None of them were to the point. I didn't actually learn logic until I read mathematical logic by Ebbinghaus, which is clear, to the point, and pedantic. I highly recommend it
>>16946609No, this book's approach is laughably bad. Even though "semantic tableaux" are pretty close to how people actually reason things out IRL. You'd be better off/less confusing just making truth tables>>16947479This book is a lot better
