Date post: | 21-Dec-2015 |
Category: |
Documents |
View: | 233 times |
Download: | 2 times |
2
Propositional logic
The Z methodology is based on propositional logic
basic operators of propositional logic:conjunction (AND); disjunction (OR); implication (); equivalence () ; negation (NOT, ~)
propositions--statements about the systemtautologies--propositions which are always true (A = A)contradictions--propositions which are never true (A = not A)