13397061
Descrição
Mapa Mental por Luke Byrne, atualizado more than 1 year ago
|
|
Criado por Luke Byrne
aproximadamente 7 anos atrás
|
|
Predicate Logic and Quantifiers
- "In predicate logic, propositions depend on variables x, y, z, so their truth value may change
depending on which values these variables assume: P(x), Q(x, y), R(x, y, z)"
- QUANTIFIERS
- ∃ (existential quantifier)
- ∃xP(x) is true if P(x) is true for some value of x
- ∃xP(x) is true if P(x) is true for some value of x
- ∀ (universal quantifier)
- ∀xP(x) is true if P(x) is true for all allowable values of x
- ∀xP(x) is true if P(x) is true for all allowable values of x
- ∃! (for one and only one)
- ∃!xP(x) is true if P(x) is true for exactly one value and false for all other values of x
- ∃!xP(x) is true if P(x) is true for exactly one value and false for all other values of x
- ∃ (existential quantifier)
- ALTERNATION OF QUANTIFIERS
- ∀x∃y∀z P(x, y, z)
- N.B.: the order CANNOT be changed as it might modify the truth value of the statement
- N.B.: the order CANNOT be changed as it might modify the truth value of the statement
- ∀x∃y∀z P(x, y, z)
- NEGATION OF QUANTIFIERS
- ¬(∃xP(x)) ↔ ∀x¬P(x)
- ¬(∀xP(x)) ↔ ∃x¬P(x)
- ¬(∃xP(x)) ↔ ∀x¬P(x)
0 comentários
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.