Documento: pdf (2 páginas) 129.7 KB Comentários para: CORREÇÃO - 6ª ATIVIDADE - 26-10Sentenças abertas e quantificadores Ilustrações Na Matemática é comum utilizarmos quantificadores para transformar uma sentença aberta em uma proposição. Exercícios ✐ Escreva em linguagem simbólica cada uma das afirmações abaixo. Explicite para cada uma o universo de discurso e se nesse universo a afirmação é verdadeira. (a) Existe um inteiro [tex]n[/tex] tal que [tex]4 = n + 2[/tex]. ✐ Apresente um exemplo de proposição para cada fórmula abaixo e analise se as proposições apresentadas são verdadeiras ou falsas. (a) [tex] \exists \, x \in U \, | \, (p(x)\land q(x)). [/tex] ✐ As bicondicionais abaixo são falsas ou verdadeiras? Dê exemplos para mostrar as falsas. (a) [tex][ \exists \, x \in U \, | \, (p(x)\lor q(x))] \longleftrightarrow [\exists \, x \in U \, | \, p(x) \lor \exists \, x \in U \, |
\, q(x) ]. [/tex] ✐ Utilize quantificadores para transformar as próximas sentenças abertas em proposições verdadeiras no conjunto dos números reais. ✐ Considere [tex]U=\{1, 2, … 9, 10\}[/tex] e determine o valor lógico de cada uma das seguintes proposições: (a) [tex]\forall \, x \in
U, \exists \, y \in U \, | \, x + y = 16[/tex] Para distrair… ✐ (CANGURU – 2010: NÍVEL C) Numa sala de reunião havia algumas pessoas que diziam somente a verdade e as demais somente mentiam. Num dado momento, três pessoas
fizeram as afirmações a seguir. ✐ (CANGURU – 2012: NÍVEL S) Todo gato no País das Maravilhas é sábio ou louco.
Equipe COM – OBMEP Voltar para Sala de enigmas 2 |