Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Logical constants: true, false
Propositional symbols: P, Q, S, ...
Wrapping parentheses: ( … )
Atomic formulas: Propositional Symbols or logical constants
Formulas are either atomic formulas, or can be formed by combining atomic formulas with the following connectives:
→...implies [implication / conditional]
...is equivalent [biconditional]
¬ ...not [negation]
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License