1 Inference Rules and Proofs Z: Inference Rules and Proofs.
16
1 Inference Rules and Proofs Z: Inference Rules and Proofs
-
date post
21-Dec-2015 -
Category
Documents
-
view
233 -
download
2
Transcript of 1 Inference Rules and Proofs Z: Inference Rules and Proofs.
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)