Start free trial
Take Naologic for a spin today, no credit card needed and no obligations.
Start free trial

Propositional Calculus - What is an example of a propositional formula?


A propositional formula can be constructed from basic propositions like 'five exceeds three' or propositional variables such as p and q. These are combined using logical operators or connectives such as NOT, AND, OR, or IMPLIES. An example could be: (p AND NOT q) IMPLIES (p OR q).