Metadata
Author: WikiMatrix
Data
Czech[cs]
Přesněji, existuje jeden jazyk predikátové logiky 1. řádu pro jednotlivé varianty: s nebo bez rovnosti, s nebo bez funkcí, s nebo bez výrokových proměnných, etc.
English[en]
More precisely, there is only one language of each variant of one-sorted first-order logic: with or without equality, with or without functions, with or without propositional variables, ....