Thread: Predicate logic quesion View Single Post

## Predicate logic quesion

1. The problem statement, all variables and given/known data
Let p(n) and q(n) be predicates. For each pair of statements below, determine
a)
(i) ∀n (p(n) ∧ q(n))
(ii) (∀n p(n)) ∧ (∀n q(n))

b)
(i) ∃n st (p(n) ∧ q(n))
(ii) (∃n st p(n)) ∧ (∃n st q(n))

There are several questions in the same vein but these two are examples
2. Relevant equations

3. The attempt at a solution
I'm having a hard time wrapping my head around this problem. All the problems that I've worked on before are for individual values of n, I don't know how to go about proving or disproving for questions like this. I know I can prove they are equivalent by showing i) <-> ii) but I can't even tell whether the statements are equivalent or not let alone writing the proof.
1. The problem statement, all variables and given/known data

2. Relevant equations

3. The attempt at a solution

 PhysOrg.com science news on PhysOrg.com >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug