Member Avatar for ijah

hi,

i'm new to First order logic. Do u know what will happen if FOL has an empty domain or structure? thanks

  • 2 Contributors
  • 1 Reply
  • 55 Views
  • 2 Days Discussion Span
  • Latest Post Latest Post by griswolf
Member Avatar for griswolf

For how many cases within an empty domain is any predicate true? The answer is of course zero. So depending on the quantifier of the predicate, you can predict the behavior.

Be a part of the DaniWeb community

We're a friendly, industry-focused community of developers, IT pros, digital marketers, and technology enthusiasts meeting, networking, learning, and sharing knowledge.