Category overview
Logic
Formal reasoning, propositions, inference, truth tables, logical systems, and argument structure.
Total questions: 100
Showing recent approved questions from this category.
Recent activity
Recent quizzes in this category
No public quizzes in this category yet.
Recent additions
Recent questions
What property characterizes a Horn clause in propositional or first-order logic?
Gödel's first incompleteness theorem (1931) establishes which fact about any consistent, recursively enumerable theor...
Which statement correctly describes the computational status of the 3‑SAT decision problem?
Which structural rule permits adding an extra formula to the premises (left side) or conclusions (right side) of a se...
Under what condition is the material implication P → Q false in classical propositional logic?
The Curry–Howard correspondence is a foundational connection between which two concepts in logic and computer science?
Which description best defines a formula in negation normal form (NNF)?
Which condition characterizes a maximally consistent set S of formulas in a deductive system?
Which modal axiom corresponds semantically to serial frames (every world accesses some world)?
Which three components define a Kripke model M for modal logic?
What does the downward Löwenheim–Skolem theorem assert for countable first-order languages?
Which single propositional connective is functionally complete by itself and is known as the Sheffer stroke?
Which property does Skolemization preserve when converting a first-order formula to Skolem normal form?
What is a ground term in first-order logic?
What operation does the resolution rule perform on two propositional clauses?
How does a theory being finitely axiomatizable differ from merely axiomatizable?
Which feature characterizes a paraconsistent logic?
Which components make up the signature (vocabulary) of a first-order language?
What is the main goal of the semantic tableau (truth-tree) method in logic?
What does it mean for a theory T' to be a conservative extension of a theory T in the same subject area?
