assumption to prove:
right(you) ^ not.right(me) --> peaceful(me)
with premises:
1. right(you) --> quiet(you)
2. quiet(you) --> peaceful(me)

you also really know what this is?
first order logic is not pseudo code. it happends to be found not just in informatics.

in general we have "MfI" so we get the idea on how to realize underlying principles behind informally given structures. especially of ones with non-numerical character. so we can afterwards put them into math terms. which can afterwards be put into code. maybe this will help you a bit to get better idea, as this is i am taught pretty similar things like these described in the link.

First time i saw first post, i thought it's about logic (which i have in school) and not about informatics at all :s And i can say i don't like logic, it's not a bit of what i expected...

ahh, offtopic again... but....

if your logic stuff is like what i posted (using not, and, or, xor, -->, <-->, all and existential quantifiers, was there something else?), then be happy... it is the smaller of your problems then. it is just a matter of training, after a while you get the hang of it and dont need to think because you KNOW. That is when you start to see white rabbits around corners...

and for the offtopic: thread is already raided by 104%.

@Steve/long_post: You just literaly taught me more than all my teachers and professors did together in all these years.

and you are going to teach children !!!