View
236
Download
2
Tags:
Embed Size (px)
Citation preview
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)