SENTENÇAS ABERTAS- QUANTIFICADORES
QUANTIFICADORES: São orações que contêm variáveis denominadas funções proporcionais ou sentenças abertas. Essas tais orações não são proposições, pois seu valor lógico (V ou F) é discutível, dependendendo do valor dado às variáveis. Nos exemplos citados, temos: a) é verdadeira se trocarmos x por 6 e é falsa para qualquer outro valor dado a x; b) é falsa, por exemplo, para x = 0. c) é verdadeira se trocarmos x por 0 ou 2 e é falsa para qualquer outro valor dado a x. Há, entretanto, duas maneiras de transformar sentenças abertas em proposições: 1ª) atribuir valor às variáveis; 2ª) utilizar quantificadores. quantificador universal: O quantificador universal, usado para transformar sentenças abertas em proposições, é indicado pelo símbolo ∀, que se lê: “qualquer que seja”, “para todo”, “para cada”. Exemplos: a) (∀ x) (x + 1= 7), que se lê: “qualquer que seja o número x, temos x + 1 = 7”. (F) b) (∀ x) (x³ = 2x²), que se lê: “para todo nú...
Comentários
Postar um comentário