Metadata
Author: WikiMatrix
Data
Czech[cs]
Syntax určuje, jaké kolekce (posloupnosti) symbolů jsou legální výrazy predikátové logiky, zatímco sémantika hovoří o významu za těmito výrazy.
English[en]
The syntax determines which collections of symbols are legal expressions in first-order logic, while the semantics determine the meanings behind these expressions.