Professional Documents
Culture Documents
• First-order logic is also known as Predicate logic or First-order predicate logic. First-order
logic is a powerful language that develops information about the objects in a more easy
way and can also express the relationship between those objects.
Properties of Quantifiers:
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it
is a conjunction of one or more clauses, where a clause is a disjunction of literals;
otherwise put, it is a product of sums or an AND of ORs.
As a canonical normal form, it is useful in automated theorem proving and circuit theory.
All conjunctions of literals and all disjunctions of literals are in CNF, as they can be seen as
conjunctions of one-literal clauses and conjunctions of a single clause, respectively.
Examples:
Let's see an example to understand how Resolution and Refutation work. In the following example, Part(I) represents
the English meanings for the clauses, Part(II) represents the propositional logic statements for given English
sentences, Part(III) represents the Conjunctive Normal Form (CNF) of Part(II) and Part(IV) shows some other statements
we want to prove using Refutation proof method.
• Any propositional statement can be transformed into conjunctive normal form using and(∧) between the clauses.
• So, to convert the propositional statements into CNF, we write and between each clause.