Thu 13 Nov, 2008 11:58 am - I Found something for my solution but Again I need some help
[SIZE=50]1.Vx(S(x) ---> ?EzF(x, z)) premise
2.VxVy(F(x, y) ^ ?EzF(y, z) ---> UF(x, y)) premise... (view)
Thu 13 Nov, 2008 08:11 am - I will check this web page as soon as possible. And Some times I can face with some difficulties in the philosophical part.
I have some 6 logic quetions. I solved 5 of them. But I have one more... (view)
Thu 13 Nov, 2008 06:01 am - [SIZE=50]I am trying to solve a natural deduction question. After I finished 4 of them the 5th one looks like a litle bit difficult.
This is my question
[/SIZE][SIZE=50]Symbol Meaning
R(x)... (view)
Wed 12 Nov, 2008 07:05 pm - Hi Every Body.
I just signed up to the forums.
I am studying MSc. My subject is Artificial Intelligence.
I am here becuase. I am interested in logic and I decided to join the forum .... (view)
