Metadata
Author: WikiMatrix
Data
Czech[cs]
Ve výrokové logice lze definovat formule takto: Každá výroková proměnná je formule.
English[en]
Example In a given propositional logic, we might define a formula as follows: Every propositional variable is a formula.