2001913
Beschreibung
Mindmap von Juan Chavez, aktualisiert more than 1 year ago
|
Erstellt von Juan Chavez
vor etwa 9 Jahre
|
|
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
Möchten Sie kostenlos Ihre eigenen Mindmaps mit GoConqr erstellen? Mehr erfahren.