2001913
Descripción
Mapa Mental por Juan Chavez, actualizado hace más de 1 año
|
Creado por Juan Chavez
hace casi 11 años
|
|
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
¿Quieres crear tus propios Mapas Mentales gratis con GoConqr? Más información.