Propositional logic symbolization

60 Views Asked by At

I am having issues to symbolize the following statement:

"Yes, I rather have peace, forgiveness is needed. Being pro-war also means to accept the consequences and cost of war. If forgiveness is necessary; as consequence I understand the price. At the end I prefer peace or I prefer war , therefore I conclude: No accepting the social cost that war brings implies a grade of impunity"

I tried this (with propositional logic):

$$p→q$$ $$s→r$$ $$q→t$$ $$∴(¬p∨p)→(¬r∨t)$$

How do I succeed?

Sorry for my bad English