PS: mathematical proposition, set the essence is consistent,

Topic: not true or false statements,


Basis: classical logic and first-order logic

Verbs (verbs, individual (constant, variable, function)

Conjunctions (not, disjunction, conjunction, it contains, if and only if)

(full name, the existential)

Predicate formula (predicates, individual)

(true, false, equivalence, can meet, not meet)
On the individual domain D (true, false, equivalent)

Algorithms (exchange, the combination of distribution, De morgn,
Involution, absorption, complementary, transforming, topsy-turvy, conversion)

not appear a
1. The quantifiers after changing order different meanings
2. Contains the consequent is not mentioned in the preceding paragraph
3. The law of transforming conjunctions

Did the teacher leave homework, predicate formulation for clause sets,
Eliminate contains symbols
No symbols by predicate
Variable standardization
To existential quantifier elimination
To skolem standard
Go to the universal quantifier elimination
Written in conjunction,
Standardization of quantifier

CodePudding user response:

Silly I what all don't understand the ha

CodePudding user response:

If and only if, is equivalent to double

CodePudding user response:

The representation method of knowledge
The first order predicate logic representation