TelecomParis_IPParis.png Telecom Paris
Dep. Informatique & Réseaux

nils.png Nils Holzenberger ← Home page

March 2026
5

NeurSymAI.png Logic, Knowledge Representation and Probabilities

with             Samuel Reyd     Samuel.jpeg

➜            other AI courses
5

Quiz lecture 5


Prenex form

Which of the following formula is in prenex normal form?
((∀x) P(x)) ∧ ((∃y) Q(y)) (∀x) (∃y) (P(x) ⊃ Q(x, y)) (∀x) (P(x) ⊃ (∃y) ¬ Q(x, y)) (∀x) (P(x) ⊃ (∃y) Q(x, y))

    

Validity

Which of the following logic formulas is valid?
(∀ x) (p(a,x) ⊃ p(a,a)) (∃ x) (p(x) ∧ ¬ p(x)) (∀ x) (∃y) p(x,y) (∀ x) (∃y) (A(y) ⊃ A(x))

    

Analogy

Tautologies are to propositional logic what _____ are to predicate logic.
Attitudes Assignments Valid formulas Models

    


            
Line.jpg

Back to the main page