Current location - Training Enrollment Network - Mathematics courses - Discrete mathematics first-order logic
Discrete mathematics first-order logic
Choose the first symbol, which means "any X, if X is a bird, X can fly".

The second one says that all X's must be birds and can fly, which is different from the proposition. It depends on what the personal field is. If it is a collection of birds, both expressions can be used. If the individual domain is the general individual domain, representing everything, then the second statement is wrong.

When symbolizing, full-name quantifiers are combined with implicit conjunctions → existential quantifiers are combined with conjunctions.