Recent content by GTL

I am reasonably confident that pair a) is equivalent. My reasoning is that if i) ∀n (p(n) ∧ q(n)) is true for certain values of n then it means that that same value of n makes p(n) true and q(n) true, which would make the ii) true as well. If i) is false then it means that either p(n) or q(n)...

Symbols are not rendering properly? hmm they seem to be working on my system. All the symbols in part a are Universal Quantifiers (upside down 'A') and all the symbols in part b are Existential Operators (backwards E). I have attached the screencap of the question if that makes it any clearer

Homework Statement Let p(n) and q(n) be predicates. For each pair of statements below, determine whether the two statements are logically equivalent. Justify your answers. 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))...