1 inference rules and proofs z: inference rules and proofs
Post on 21-Dec-2015
236 views
TRANSCRIPT
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)