image_error

[AimMe]

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.

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....

[SvaRoX]

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.

Cool thanks for the link, ok I understand why they teach you that then. I had equivalent lessons some years ago, maybe I should refresh my memories hehe

[SteveMcqueen]

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%.

[SvaRoX]

Don't worry about offtopic, it was a topic for nerds anyway

[AimMe]

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%.

Mostly we are at particular/general affirmative/negative stuff. But "premisses" is what reminded me to begining of year.

[natirips]

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

And btw, I thought Fitch was a curse or something.

[SteveMcqueen]

dont think so... and yeah, fitch lets you curse like a sailor after a while...

[SvaRoX]

@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 !!!

[SteveMcqueen]

better not *obligatory spam*

[natirips]

@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 !!!

At the very least, I know much more than they do .