7078846
Description
Mind Map by Carlos Matheus, updated more than 1 year ago
|
Created by Carlos Matheus
over 7 years ago
|
|
RL - 07 - Quantificadores
- Quantificadores transformam sentenças abertas em
proposições, passíveis de julgarmos se são V ou F.
- Quantificador universal
- ∀
- Lê-se "qualquer que seja" ou "para todo"
- (∀ x, x E N) (x + 3 = 5); "Qualquer x, x elemento de N, tem se x + 3 = 5. FALSO!
- (∀ x, x E N) (x + 3 = 5); "Qualquer x, x elemento de N, tem se x + 3 = 5. FALSO!
- Lê-se "qualquer que seja" ou "para todo"
- Conjunto
- ∀
- Quantificadores existenciais
- ∃
- Lê-se "existe pelo menos um", "algum"
- (∃ x, x E N) (x + 3 = 5); "Existe pelo menos um x, x elemento de N, tal que x + 3 = 5. VERDADEIRO!
- (∃ x, x E N) (x + 3 = 5); "Existe pelo menos um x, x elemento de N, tal que x + 3 = 5. VERDADEIRO!
- Conjunto
- Lê-se "existe pelo menos um", "algum"
- ∃|
- Lê-se "existe um único"
- (∃| x, x E N) (x + 3 = 5); "Existe um único x, x elemento de N, tal que x + 3 = 5. VERDADEIRO!
- (∃| x, x E N) (x + 3 = 5); "Existe um único x, x elemento de N, tal que x + 3 = 5. VERDADEIRO!
- Conjunto
- Lê-se "existe um único"
- ∃
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.