2001913
Descrição
Mapa Mental por Juan Chavez, atualizado more than 1 year ago
|
Criado por Juan Chavez
quase 11 anos atrás
|
|
Syntax & Semantics of
Quantificational Logic
- Well-formed Formula
- Atomic Well-formed Formula
- An n-place
predicate followed
by n constants
and/or variables.
- Ex) F1a, F1x, L2ab, L2xy,
R3yxc, a = b, x = a
- Ex) F1a, F1x, L2ab, L2xy,
R3yxc, a = b, x = a
- An n-place
predicate followed
by n constants
and/or variables.
- Propositional Connectives
- If ϕ and ψ are any wff's, then ¬ ϕ , (ϕ ^ ψ), (ϕ v ψ), (ϕ → ψ) , and
(ϕ ↔ ψ) are all wff's.
- If ϕ and ψ are any wff's, then ¬ ϕ , (ϕ ^ ψ), (ϕ v ψ), (ϕ → ψ) , and
(ϕ ↔ ψ) are all wff's.
- Quantifiers
- If ϕ is any wff, and x is a variable that does not have any
bound occurences in ϕ, then ∀x
- If ϕ is any wff, and x is a variable that does not have any
bound occurences in ϕ, then ∀x
- Atomic Well-formed Formula
Quer criar seus próprios Mapas Mentais gratuitos com a GoConqr? Saiba mais.