Why is logic so goddam difficult?

>>8949323
Logic? You consider muthaphuckin' logic difficult?
"~T V F" is hard these days?

>>8949323
What do you need help with anon?

t. Philosophy major

>first order logic
>hard
what

>>8949323
Logic is not a subject and shouldn't be one, doesn't matter how you draw conclusions if theres an empirical evidence that supports it.

>>8949483

Would you prefer the course be called "Discrete Mathematics"? What kind of idiot opinion is this, what you learn in a Logic course is pretty foundational and necessary for CS and a number of stem degrees. Proofs, induction, boolean logic in digital electronics &c. It entirely matters how you draw conclusions when that's the majority of a fucking degree

you can have "empirical evidence" of an algorithms runtime complexity by plugging values into a function and seeing a pattern. this doesn't prove anything about the algorithms asymptotic performance. if only we had some sort of logical tools to be able to figure this shit out ...

>>8949499
My logic course was separate with discrete math and they were not teaching anything related to math what so ever.I think op means logic not discrete math.

>>8949533

ah, apologies for the snark then. they are rolled into the same course here, so i'm not sure what would be in just a "logic" class. up to what was covered?

File: question.png (15KB, 550x189px) Image search: [Google]

15KB, 550x189px

>>8949469
I cropped the question in this picture.
I guess I could figure this out by picking up first order logic where I left but I'm onto something else at the moment.

>>8949323
Yet another one who fell for the math meme

Comp sci student here lmaoing at you nerds

>>8949473
I did not say it was first order logic in OP though.
>>8949483
Have you ever opened a Logic textbook?
What kind of retarded selfish statement is that?

>>8949572
Not that anon but you need to sort your syntax out m8, or at least stop blending it with your semantics willy-nilly.

As for your actual question see
https://en.wikipedia.org/wiki/Extension_by_definitions

>>8949596
Ok thank you I will keep this as reference.

>>8949587
Shitpost harder

>>8949323
>Why is it hard?
Humans aren't optimized for it.

>>8949548
My logic class was some very simple discrete but mostly on number theory and graph theory, set theory, and introducing a lot of concepts

>>8949483
Grad level logic is doing proofs that become logical judgements https://www.cs.cmu.edu/~fp/courses/15816-s10/schedule.html

>>8949572
I have no idea how to answer that. Sorry anon :(