Metadata
Author: WikiMatrix
Data
Czech[cs]
Termy a formule predikátové logiky jsou řetězce symbolů, jež společně tvoří abecedu jazyka.
English[en]
The terms and formulas of first-order logic are strings of symbols, where all the symbols together form the alphabet of the language.