Explore relationships

Propositional formula

In propositional logic, a propositional formula is a type of syntactic formula which is well formed. If the values of all variables in a propositional formula are given, it determines a unique truth value.

Use + to expand a branch. Click a topic name to open its summary.