What is propositional/first-order logic?

If you have ever done math or programmed a computer, then you have already used propositional logic (PL). It's an artificial language (or formal system) used to describe a limited world. It has constants, variables, functions, relations, etc. It's very simple.

The R&N textbook cacn introduce you to both (ch. 7-8). If you want another physical reference, check out Language, Proof, and Logic; they have it at the library and the bookstore.

More.

I cant really gove you an answer,but what I can give you is a way to a solution, that is you have to find the anglde that you relate to or peaks your interest. A good paper is one that people get drawn into because it reaches them ln some way.As for me WW11 to me, I think of the holocaust and the effect it had on the survivors, their families and those who stood by and did nothing until it was too late.