First-order logic
Welcome to the First-order logic discussion forum. In this forum, you may ask questions, start new discussions, and view existing posts. Click here to create a discussion account.

Click on the Subscribe button to receive email notifications each time a new discussion is started in this forum.
Ask a Question
Start new Discussion
  Subject Replies Date
It is said in the definition of first order logic structure, that domain-of-discourse must be a none empty set. The question is what are the problems... 0 5/22/2014
 
x
OK