Primformel
1. Definition
Gegeben eine Sprache-erster Ordnung, eine \(n\)-stellige Relation \(R\) und Terme \(t_1,...,t_n\). Dann ist \(R(t_1,...,t_n)\) eine Primformel
Gegeben eine Sprache-erster Ordnung, eine \(n\)-stellige Relation \(R\) und Terme \(t_1,...,t_n\). Dann ist \(R(t_1,...,t_n)\) eine Primformel
Date: nil
Created: 2024-10-11 Fr 21:49