Quiz lecture 4

Logic (1)

iS ⊨ X is true if and only if _____ is not satisfiable.

S ∪ {X} S ∪ {¬X} ¬(S ∪ {X}) ¬(S ∪ {¬X})

My recent answers    Send this answer

Logic (2)

Which of the following logic formulas is in conjunctive normal form?

((a ∨ ¬ b) ∧ ¬((¬ c ∨ d))) ((a ∧ ¬ b) ∨ (¬ c ∧ d)) ((a ∨ ¬ b) ∧ (¬ c ∨ d)) ((a ⊃ ¬ b) ∧ (¬ c ∨ d))

My recent answers    Send this answer

Logic (3)

Which of the following occur in predicate logic (this lecture) but not in propositional logic (previous lecture)?

Terms Quantifiers Formulas Connectives

My recent answers    Send this answer