Questão de Proposições Lógicas — UFBA · 2014

A expressão simbólica (∀x ∈ R ) (∀n ∈ N ) [(x ≥ 0) ∧ (n ≠ 0) ⇒ (∃y ∈ R ) (y n = x)], em que R e N denotam os conjuntos dos números reais e dos números naturais, respectivamente, representa a proposição “para todo número real não negativo x e todo número natural não nulo n existe um número real y, tal que y n = x”.