1 Terminologia
1 Terminologia
1 Terminologia
símbolos e notação
LÓGICA
Símbolo Designação Lê-se
ou ¬ Negação Não é verdade que …
∧ Conjunção …e…
∨ Disjunção … ou … | … e/ou…
⇒ Implicação … implica … | se … então …
⇔ Equivalência … equivalente … | … se e só se … | … sse …
∀ Quantificador Universal Qualquer que seja … | Para todo o …
∃ Quantificador Existencial Existe pelo menos um …
∃1 Quantificador Exist. Unitário Existe um único …
/
∃ — Não existe …
CONJUNTOS
∪ Reunião ou União … reunião com …
∩ Intersecção … intersecção com …
⊂ Inclusão própria … está contido em … | … é subconjunto de …
⊄ Não inclusão … não está contido em …
⊆ Inclusão … está contido ou é igual a …
∈ Pertença … pertence a …
∉ Não pertença … não pertence a …
\ Exclusão … excepto … | … menos …
: — … tal que … | … tais que …
{…} Conjunto Conj. dos elementos … | Conj. definido pela(s) condição(ões) …