Current Slide
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.
Syntax
-
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:
-
∧ ...and [conjunction]
-
∨ ...or [disjunction]
-
→...implies [implication / conditional]
-
↔ ...is equivalent [biconditional]
-
¬ ...not [negation]