Quantorenrang

#Studium #Informatik #Definition #Logik

Der Quantorenrang $q r (φ)$ ist die maximale Verschachtelungstiefe von Quantoren in einer Formel $φ$ .

$q r (φ) = 0$ für atomare Formeln.
$q r (\neg φ) = q r (φ)$ .
$q r (φ \land ψ) = max (q r (φ), q r (ψ))$ .
$q r (\forall x φ) = q r (\exists x φ) = 1 + q r (φ)$ .