338.002/4/5/8/22/23/24/25/28/29, UE Logic, Wolfgang Windsteiger et al., 2025W Course Materials & Test Answers | moodle.jku.at

Consider the following two formulas interpreted over the domain {1,2}:

∃x: ∀y: p(x,y)

∀y: ∃x: p(x,y)

For which definition of p is the first formula "true" and the second formula "false"?

p(1,1)=true, p(1,2)=true, p(2,1)=true, p(2,2)=true

p(1,1)=true, p(1,2)=false, p(2,1)=true, p(2,2)=false

p(1,1)=false, p(1,2)=false, p(2,1)=false, p(2,2)=false

None

p(1,1)=true, p(1,2)=true, p(2,1)=false, p(2,2)=false

View this question

Crowdly