Consider the following formula Specification and Verification
Description
Unformatted Attachment Preview
Solve all of the following exercises. Total points are 100.
You can solve the exercises manually, if you want. Please submit your solution
in a pdf file via Moodle by Friday, November 25, 2022
Exercise 1
(40)
Consider the following formula
?x?y : P (x) ? Q(y) ? ?x : P (x) ? ?y : Q(y)
and
0rove the formula with the help of online tool Tree Proof Generator
7rite the description for each step of the proof
Exercise 2
(60)
Consider the following formula
?y?z?x : ((F (x) ? G(y)) ? (G(z) ? F (x))) ? ?x?y : (F (x) ? G(y))
and
0rove the formula with the help of online tool Tree Proof Generator
7rite the description for each step of the proof
Hint: The description may state a rule that was used at each step, e.g. intantiation
of ?, ? quantifier, contradiction. You may use slides for rules and proof steps from
Introduction lecture.
1
Purchase answer to see full
attachment
Have a similar assignment? "Place an order for your assignment and have exceptional work written by our team of experts, guaranteeing you A results."