Metadata
Author: ParaCrawl Corpus
Data
Czech[cs]
Výroková logika, výrokové formule a jejich pravdivost, formální systém výrokové logiky, dokazatelnost ve výrokové logice, věta o úplnosti.
English[en]
Propositional logic, formulas and their truth, formal system of propositional logic, provability, completeness theorem.