Metadata
Author: WikiMatrix
Data
Czech[cs]
Zatímco výroková logika se zabývá jednoduchými a deklarativními výroky, predikátová logika prvního řádu zavádí jako nadstavbu predikáty a kvantifikátory.
English[en]
While propositional logic deals with simple declarative propositions, first-order logic additionally covers predicates and quantification.