3. Diagramas Lógicos Flashcards
O que são sentenças abertas?
São expressões que possuem um termo variável e não tem como atribuir valor lógico. Logo, sentenças abertas não são proposições.
Ex: x + 10 = 50
Sendo x uma variável, não sabemos se a expressão acima é verdadeira ou falsa.
Outro ex: x ≤ 𝜋
O x continua sendo uma variável e não conseguimos julgar a expressão como verdadeira ou falsa.
CERTO OU ERRADO
As sentenças abertas não estão apenas relacionadas às expressões matemáticas.
CERTO!
Como transformar uma sentença aberta em uma proposição?
Há dois modos:
1) Atribuir um valor a uma variável. Ex: x + 10 = 50 para 20 + 10 = 50. (Perceba que é uma proposição, só que falsa).
2) Usar quantificadores: palavras ou expressões que quando usadas em sentenças abertas, viram proposição.
O uso de quantificador transforma uma sentença aberta em uma proposição.
Quais os dois tipos de quantificadores?
Universal e existencial.
Os quantificadores universal e existencial são representados por uma expressão.
Qual a expressão que representa, respectivamente, o quantificador universal e o existencial?
Universal: ∀
Existencial: ∃
O que quer dizer o quantificador ∀ (universal)?
Todo, para todo, para qualquer, qualquer que seja, nenhum…Pode ser negativa ou positiva.
Ele se trata de todos os elementos do conjunto.
O que quer dizer o quantificador ∀ (universal)?
Algum, existe um, pelo menos um, há, existe…
Como pode ser lida a expressão abaixo?
∀𝒙, 𝑥 + 10 = 50
Para qualquer valor de x, x+10 = 50. Logo, é uma proposição falsa.
Como pode ser lida a expressão abaixo?
∀𝒙, 𝑥 ≤ 𝜋
Para qualquer valor de x, x será menor ou igual a 𝜋. Logo, é uma proposição falsa.
“Ela está na praia.”
Como podemos colocar a proposição acima em diagramas?
PEGADINHA! A frase acima não é uma proposição.
“Qualquer mulher está na praia.”
Como podemos colocar a proposição acima em diagramas?
Como pode ser lida a expressão abaixo?
∃𝒙 ∶ 𝑥 + 10 = 50
Existe x, tal que x + 10 = 50. Ou seja, existe algum x que somado a 10 seja 50, logo, a proposição é verdadeira.
Como pode ser lida a expressão abaixo?
∃𝒙 ∶ 𝑥 ≤ ∃𝒙 ∶ 𝑥 ≤ 𝜋
Existe algum x que será menor ou igual a 𝜋. Logo, é um proposição verdadeira.
PARA FIXAR
Toda vez que uma expressão possuir um quantificador (algum, todo, nenhum, existe, há algum…) trata-se de uma proposição.
O quantificador universal pode ser de dois tipos. Quais são?
- Afirmativa: todo, qualquer…
- Negativa: Nenhum, todo não é…