Page 1 of 1
QUESTION 8 [6] In this question you have to show that the validity of a sequent cannot be proved by finding a model wher
Posted: Mon Jul 11, 2022 12:06 pm
by answerhappygod
- Question 8 6 In This Question You Have To Show That The Validity Of A Sequent Cannot Be Proved By Finding A Model Wher 1 (76.23 KiB) Viewed 27 times
QUESTION 8 [6] In this
question you have to show that the validity of a sequent cannot be proved by finding a model where all formulas to the left of evaluate to T but the formula to the right of evaluates to F.
Question 8.1 Show that the validity of the following sequent Vx (R(x) → Q(x)) Vx (R(x) v Q(x))
Question 8.2 Show that the validity of the following sequent 20 cannot be proved by finding a mathematical model where the formula to the left of evaluates to T but the formula to the right of Fevaluates to F. ((x,y) → ¬S(y, x)) x (x,x) COS3761/103/0/2022 cannot be proved by finding a non-mathematical model where both formulas to the left of evaluate to T but the formula to the right of evaluates to F.