ACtE08 · Chapter 8Demo · Set 4🏛️ Past Licensure QuestionID: a7371e96
In propositional and first-order predicate logic, a disjunction of literals is called a:
In propositional and first-order predicate logic, a disjunction of literals is called a:
Multiple Choice Options
- A✓ Correct Option
Clause
- B
Literal
- C
Predicate
- D
Rule
Detailed Technical Solution & Explanation
In mathematical logic and automated theorem proving (such as resolution refutation in Conjunctive Normal Form - CNF):
•
Literal: An atomic proposition or its negation ( or ).
•
Clause: A disjunction (OR expression) of one or more literals: .
•
Conjunctive Normal Form (CNF): A conjunction (AND) of clauses.
Therefore, a collection of disjunctive literals/states is formally defined as a Clause.
Option Analysis:
•
Option A (Clause): Correct; precisely defined as a disjunction of literals.
•
Option B (Literal): Incorrect; a literal is an individual atomic formula or its negation.
•
Option C (Predicate): Incorrect; a boolean-valued function that evaluates to true or false based on its arguments.
•
Option D (Rule): Incorrect; an implication consisting of an antecedent and consequent (e.g., IF THEN ).
Reference: Demo · Set 4NEC Licensure Syllabus