2001913
Description
Mind Map by Juan Chavez, updated more than 1 year ago
|
Created by Juan Chavez
about 9 years ago
|
|
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
Want to create your own Mind Maps for free with GoConqr? Learn more.