Ano:2008Banca:Centro Brasileiro de Pesquisa em Avaliação e Seleção (CEBRASPE/CESPE)Órgão:Instituto Nacional do Seguro SocialProva:CESPE - 2008 - INSS - Técnico do Seguro Social
Considere-se que U seja o conjunto dos funcionários do INSS, P(x) seja a propriedade “x é funcionário do INSS” e Q(x) seja a propriedade “x tem mais de 35 anos de idade”. Desse modo, é correto afirmar que duas das formas apresentadas na lista abaixo simbolizam a proposição Todos os funcionários do INSS têm mais de 35 anos de idade. (i) ∀x(se Q(x) então P(x)) (ii) ∀x(P(x) ou Q(x)) (iii) ∀x(se P(x) então Q(x))