Home » My courses ® Free Credit: Mathematical Logic (21-22) ® Topic 7 VAR01010100320012000340543 Started on Friday, 14 January 2022, 10:08 AM State Finished Completed on Friday, 14 January 2022, 12:08 PM Time taken 1 hour 59 mins Marks 36,00/39.00 Grade 36.92 out of 40.00 (92%) Question 1 7-40 min. Comect Given three propositional formulas: (Pv 7a) 2)(RA7Q) > (Q>0) 3) Qv(P> >a) Which of the following claims is/are correct: Mark 2.00 out of 3.00 (Q> P) REMARK: 0 stands for falsum. Valid = true in all cases. If a formula is valid it is satisfiable as well!!! Satisfiable = true at least in one case Contradiction = never true Select one or more: a. 3) is valid while 2) and 1) are satisfiable. «/ b. All3 formulas are contradictions. . None 4d. negation of 1) is valid . 2) is a contradiction and 3) is satisfiable. f. Either 1) or 3) are contradictions. g. All3 formulas are valid. «/ Your answer is correct. The correct answers are: All 3 formulas are valid., 3) is valid while 2) and 1) are satisfable.Question 2 Correct, Mark 3.00 out of 3.00 Its known that AaB is true and BeA is false. Which of the following diagrams, describes the relationship between the two terms A and B? (Time recommended 3-7 min.) Select one or more: ©). .@. Your answer is correct The correct answers are: .Question 3 Parially correct Mark 1.50 out of 3.00 Approx. 12-16 min. Below you see 5 models, Let symbol R(-,-) represent arrow relationship between the points Select all formulas which are valid at model number 4 a p pa ', a LJ] ’ . P e a a roa 2 3 4 5 Select one or more: a, None b. ax ay (Roxy) ARO) ) c wx [PQX) > 3y (R(&Y))] d. vz (7R(zz)) fe, vx vy Wz ( (ROxy) A R(yz)) > R(x.z) ) Your answer is partially correct You have correctly selected 4 ‘The correct answers are: 3x ay (R(xy) ARUYX) ), ¥z (7R(Zz2) )For a given enthymeme pick all possible sentences which make a valid syllogism, Mark 3.00 out of A\l goats are perfect therapists. Therefore some perfect therapists are clouds 3.00 (Recommended time 7-12 min.) Select one or more: a. All goats are clouds. «/ b. Some goats are crazy. ce ‘Some goats are not clouds. d, Some goats are clouds. «/ e. All clouds are goats. «/ No cloud is a goat 9. None h. No goat is a cloud. Your answer is correct. ‘The correct answers are: All clouds are goats., All goats are clouds., Some goats are cloudsMark 3.00 out of 3.00 Given a sentence: Allstars are beautiful Take its Contraposition and then Obvert it. Which of the following sentences is logically equivalent to the result you get? Note: A is logically equivalent to 8 if A entails B and B entails A. (Recommended time 7-13min.) Select one or more a. No star is non-beautiful «/ b. None c. Some non-beautiful things are not stars d. All stars are beautiful «/ e. Allnon-beautiful are stars {. No beautiful thing is non-star Your answer is correct. The correct answers are: All stars are beautiful, No star is non-beautiful‘Question 6 Correct, Mark 3.00 out of 3.00 Approx. § min, Given truth values for A, B, C, D, E and F: A=T BaF c=T D=F E=T FoF Select all those sentences which are false. Select one or more: a (C3 AF) ve) ADV 70) 4 b (VE) AA) > (Aa (CD) > E)) c. None q (D> 78) 5-0 ¥ e Av (BA—D) f AIAVE) A (Cv (B > F)) 9 E=(F>—8) Your answer is correct. The correct answers are: (C3 AF) v AE) A (Dv 70), (0>-B) > —c, A(AV E) A(Cv (BF)Given a sorit with one missing premise: It is not a secret that all barbarians, who eat ice-cream are sophisticated vampires. It Mark 3.00 out of is also known that every sophisticated vampire likes to play. Take into account that all 3.00 babies are cruel like ghosts from mysterious house and that all who like to play are babies. Hence some ghosts from the mysterious house are not beatles, because |...) Select all sentences which if inserted as a premise make a sorit valid (Recommended time 7-12 min.) Select one or more: a. Every sophisticated vampire is a beatle b, No sophisticated vampire likes to play. c. No beatle is a barbarian who eats ice-cream «/ d. Some barbarians who eat ice-cream are beatles. €. No sophisticated vampire is a baby. f. None g. No barbarian who eats ice-cream is a beatle. h. Some sophisticate vampires like to play Your answer is correct. ‘The correct answers are: No beatle is a barbarian who eats ice-cream, No barbarian who eats ice-cream is a beatle.Let A and B be two terms, The following diagram shows the relationship between the two: Mark 3.00 out of 3.00 Below you see simple categorical propositions about the terms. Select all those which may be true according to the diagram. Note. If a sentence is necessarily true then it certainly may be true. (Time recommended 3-5 min.) Select one or more: a. BoA b. AaB ©. BoA d. None 2. AIBA Baa Your answer is correct. The correct answers are: BaA, AIB, AaBApprox 10 min. Mark 3.00 out of Given a predicate logic formula: 3x,y.2.{Ryx A Rxz A Qx] 3.00 and 5 models. Select all those models where the formula is valid. 2 p Select one or more: a. model 1 b. model 2. c. model 3. d. model 4. ©. model 5 f. none Your answer is correct The correct answers are: model 2, model 3, model 4weston 10 Guest Given 2 valid inference rules Correct, 1) x 22 Mark 3.00 out of 3.00 Can we say something about the following inference if we know that X is true, Y - is true and L is false (Recommended time 4-6 min.) Select one: a. Valid b. Unknown «©. Not Valid «/ Your answer is correct. The correct answer is: Not ValidQuestion 11 Parially correct Mark 1.50 out of 3.00 Approx 8 - 12 min. Select all formulas which correctly translate the following sentence into predicate logic Every quadratic equation has roots but some does not have roots in real numbers. Q(x) - xis a quadratic equation Rly) -y has roots NOx) - x has roots in real numbers BE CAREFULI PAY ATTENTION TO DETAILS! Select one or more: a. Wx.(Q(x) > R(x) A 3x.( 7 N(x) A Q(x)) b, None. ©. vy¥x((Q(x) A R(X) (NY) AQy)) 4 x (Q(x) > ROW) A 3y( > NY) A Qly)) e. ¥x.(Q(x) A R(x)) > 3x. > N(x) A Q(x) f. Vx. (((Q(x) A RQ) > > NOW) 9. ¥x(QUx) 2 R(X) 2 3x NX) A QQX)) Your answer is partially correct. You have correctly selected 1 ‘The correct answers are: Wx (Q(x) > R(X) A 3y.( > Ny) A QLy)), VXQLX) > ROX) A 3x.( > N(x) A Qlx))uestion 12 Approx 10-15 min. correct Mark 3.00 out of 3.00 Select valid inferences, Select one or more: a AVC D> (*AA7C) (DAB)aR ANB None (B>DA)VC “TAc) TAB xvY KAZ Y> (kau)B>D 7ADF IC VB)AD ADB AF A(AA 7D) Your answer is correct. The correct answers are. (B>Ayvc (TAC) TAB xvY OX AZ Y>(KAU)Question 13 Correct, Mark 3.00 out of 3.00 approx. 5-7 min. Which of the following formulas is/are correct translation of the sentence in first order language? There are ugly yellow things which are not round U0e) - xis ugly: Yiy) = yis yellow; R(x) - xis round Select one or more: a 3x( (UX AYX) A (RK > 0)) ave AY) 3 7Rx) © ay.( >(>Uy v 7Yy) ATRy) d. 3x. (Ux A7Rx) e 3x.( (Ux A Yx) > 7Rx) f 3z.( (Uz A Yz) A7Rz) 9. None Your answer is correct. The correct answers are: ay.( >(0Uy v >Yy) A “Ry ), 3x (Ux A Yx) A (Rx > 0) ) <4 FINAL EXAM INSTRUCTIONS Jump to, Bonus 4 >