QUESTION 8 [6] In this question you have to show that the validity of a sequent cannot be proved by finding a model wher

[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 26 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.