Introdução à Lógica 4/4

4. Sentenças abertas e Quantificadores

I. Sentenças abertas

Há expressões em que não se pode caracterizar como verdadeiro ou falso, pela presença de variáveis. Portanto não são proposições, a menos se atribuirmos um valor à estas variáveis.

Exemplo:

q: 5x = 20

Não podemos dizer que essa expressão é verdadeira ou falsa, pois não sabemos o valor de x.

Orações como q, são denominadas de sentenças abertas.

Exemplo 2:

p: Alguém precisa de 1,4 pontos na média final para passar em matemática.

Não podemos dizer que p é verdadeiro ou falso, no entanto, se classificarmos "alguém" como "Caio", podemos afirmar que é verdadeiro e assim, p passa a ser uma proposição.

II. Quantificadores

i. Quantificador universal (∀)

O quantificador universal é representado pelo símbolo ∀, e é usado para transformar sentenças abertas em proposições.

Exemplos:

a) (∀ x) (x + 8= 11), que se lê: “qualquer que seja o número x, temos x + 8 = 11” (essa é uma proposição falsa.)

b) (∀ y) (y² + 1 > 0), que se lê: “para todo número y, temos y² + 1 positivo”. (Verdadeiro)

ii. Quantificador Existencial (∃)

O quantificador Existencial ∃, se lê: "Existe", "Existe pelo menos um" ou "Existe um"

Exemplos:

a) (∃ Alguém) (Alguém precisa de férias) ^ (Alguém falta 1,4 pontos para passar em matemática), que se lê: "Existe alguém tal que, alguém precisa de férias e falta 1,4 pontos para passar em matemática" (Verdadeiro)

b)(∃ x) (x + 1 = 7), que se lê: “existe um número x tal que x + 1 = 7”. (Verdadeiro)

iii. Quantificador Existencial (∃|)

As vezes utilizamos também o quantificador ∃|, que se lê: "Existe um único" ou "Existe só um"

Exemplo:

a)(∃| x) (x + 1 = 7), que se lê: “existe um só número x tal que x + 1 = 7”. (Verdadeiro)

Nas postagens anteriores de introdução à lógica, tivemos: Proposição e Negação de uma Proposição; Conectivos e Condicionais; Tautologias, Proposições logicamente falsas, Relação de implicação e Relação de equivalência.

Comentários

Postagens mais visitadas deste blog

Introdução à lógica 1/4

1. Proposição e negação de uma proposição I . PROPOSIÇÃO É considerado uma proposição uma oração em que se pode classificar somente em verdadeiro ou somente falso. É declarativa, ou seja, ela afirma ou nega algo (nunca é exclamativa e nem interrogativa). Não são proposições as frases exclamativas, interrogativas, imperativas, sem verbo, abertas e paradoxais. Exemplos: II. NEGAÇÃO DE UMA PROPOSIÇÃO Com uma proposição P qualquer, podemos construir outra, denominada negação de P, e é representada pelo símbolo ~P. Exemplo: ~P tem sempre o valor oposto de P, ou seja, quando P é verdadeiro, ~P é falso. E quando ~P é verdadeiro, P é falso. Sabendo disso, podemos formar uma tabela verdade: Nas próximas postagens de Introdução à lógica teremos: Conectivos e Condicionais ; Tautologias, Proposições logicamente falsas, Relação de implicação e Relação de equivalência ; Sentenças abertas e Quantificadores .

Função definida por mais de uma Sentença

Função definida por mais de uma Sentença Uma função definida por mais de uma sentença, como o próprio nome já diz, tem mais de uma lei de formação. Devemos sempre observar o intervalo de x para ver a função a ser utilizada. No caso da função acima, será 2x + 1 quando x < 0, e x - 3 quando x for maior ou igual a 0. Exemplo: Gráfico: Construa separado, de acordo com o intervalo definido na função. Cuide sempre dos extremos. Observe o tipo de cada parte da função, se é constante, do 1º grau, 2º grau... Exemplo: Referências BONJORNO, José Roberto; GIOVANNI, José Ruy; DE SOUZA, Paulo Roberto Câmara. Prisma Matemática: Funções e Progressões. 1. ed. São Paulo: FTD, 2020.

Funções Modulares

FUNÇÕES MODULARES O que é um módulo? MÓDULO DE UM NÚMERO REAL Definição Geométrica Para x real, o módulo de x, |x|, é a distancia de x até 0, na reta real. O módulo não pode ser negativo. Por tanto: FUNÇÃO MODULAR A função f: R → R definida por f (x) = |x| é denominada de função modular. E aplicando a definição de módulo de um número real, a função modular pode ser escrita como: GRÁFICO DA FUNÇÃO MODULAR Para traçar o gráfico da função modular, podemos fazer primeiramente o gráfico da primeira sentença, e depois o gráfico da outra, e por fim, juntá-los em um mesmo plano cartesiano. Veja o exemplo abaixo: Dica: Quando houver um termo fora do módulo, o gráfico da função irá se mover para cima na mesma quantidade do termo quando positivo, ou para baixo quando negativo. Quando houver um termo dentro do módulo, o gráfico irá se mover no sentido contrário ao sinal desse termo, assim quando o termo for positivo, o gráfico vai para a esquerda, quando ne...

Caio Souza

Pesquisar este blog