Professional Documents
Culture Documents
REHMAT ULLAH
Formal Methods
CICS provides
1. Data access
2. Communications
3. Integrity
4. Security services
Abstract.
Concise.
Complete
Unambiguous.
Cost-effective.
Maintainable.
Comprehensible.
Propositional logic
true
false,
but not both
Example
• A tomato is a fruit.
• An orange is a fruit.
&
If we know that
Christmas Day = 25thDecember,
and that
25thDecember falls on a Sunday this year
Then we may apply the [eq-sub] rule and conclude that
Christmas Day falls on a Sunday this year
We have to learn,
Quantifier
Negation Of Quantifier
Quantifier
The use of phrases like ‘ there exists ’ and ‘ for all ’
or ‘ for every’ is abundant in mathematics .
These phrases are called as Quantifiers .
Example:
1. For every x R, x 0 0 x
x 2 1
2. There exists x R such
that
Answer:
2. For every x R , x2
1st-order predicate logic
Every boy who loves Mary hates every boy who Mary loves.