First-order logic
Posts  1 - 1  of  1
antimas
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 if we let to have empty set defined!?
Save
Cancel
Reply
 
x
OK