About predicate logic, alloy and so on. if you know some of them, it's also okay.

Id: Id: Question 2: (Alloy, 28 points) Question 1: Propositional & Predicate Logic, 15 points Each ofthe three pertsbekw contains a pre licate kuic &emul. For eBch ko-nulasey whether it is satisfiable ly writingor o, you anseeed yes",write dova a model in which the formula hokl; if you answered "Thos". write dwh model in which the negation ed the Inuula bok R.tnernber to fully defin your models by peoviding tlae domais mad !he interpretatim of aay Eatetice.nd predicate abea used. To sapport the developmet of a scur Soe a concurreat systen, thelowiag ADoy model M structei aig Process sig User ote how ewy instance of M represents an assigameat of processes to CPUs 1(3 poiats) In the space below. draw the graphical representation of M Ge.. the "metamodel" or-clies da ocrespoadiag to ) Make sure you aso inlude any pty cntras expressed I 2. (4 points) Coasider the following predicate pred hou) sone Procesa sone User Drax an instauce of M hat abo satisls all the constrints in Show, that is, draw au iastance that coukd be created by Alloy la response to executiag the comand r sho for 3on M 2 of 12 3 of 12 Id: Id: Question 2: (Alloy, 28 points) Question 1: Propositional & Predicate Logic, 15 points Each ofthe three pertsbekw contains a pre licate kuic &emul. For eBch ko-nulasey whether it is satisfiable ly writingor o, you anseeed yes",write dova a model in which the formula hokl; if you answered "Thos". write dwh model in which the negation ed the Inuula bok R.tnernber to fully defin your models by peoviding tlae domais mad !he interpretatim of aay Eatetice.nd predicate abea used. To sapport the developmet of a scur Soe a concurreat systen, thelowiag ADoy model M structei aig Process sig User ote how ewy instance of M represents an assigameat of processes to CPUs 1(3 poiats) In the space below. draw the graphical representation of M Ge.. the "metamodel" or-clies da ocrespoadiag to ) Make sure you aso inlude any pty cntras expressed I 2. (4 points) Coasider the following predicate pred hou) sone Procesa sone User Drax an instauce of M hat abo satisls all the constrints in Show, that is, draw au iastance that coukd be created by Alloy la response to executiag the comand r sho for 3on M 2 of 12 3 of 12