// Numbas version: finer_feedback_settings
{"name": "Predicates", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"variable_groups": [], "variables": {"mm2": {"templateType": "anything", "group": "Ungrouped variables", "definition": "map(map(if(choices[2][6][y]=x,1,0),x,0..8),y,0..3)", "description": "", "name": "mm2"}, "logic_exp": {"templateType": "anything", "group": "Ungrouped variables", "definition": "['$\\\\neg p \\\\lor \\\\neg q$', \n  '$p \\\\land q$', \n  '$\\\\neg p \\\\land q$',\n  '$p \\\\land \\\\neg q$',\n  '$p \\\\to q$',\n  '$\\\\neg p \\\\land \\\\neg q$',\n  '$(p \\\\lor \\\\neg q) \\\\land p$',\n  '$q \\\\to p$',\n  '$\\\\neg p \\\\to q$'\n  ]", "description": "", "name": "logic_exp"}, "choices": {"templateType": "anything", "group": "Ungrouped variables", "definition": "[['It is snowing','I will go skiing',\n  'As it is not snowing I will go skiing.',\n  'It will snow if I don\\'t go skiing.',\n  'I will go skiing if it is snowing.',\n  'It is snowing and I may or may not go skiing.',\n    [2,8,4,6,0,1,3,7,5]\n  ],\n  ['I am working at my studies', 'I am in the library',\n    'I am working at my studies in the library.',\n    'If I use the library then I am working at my studies.',\n    'If I am working at my studies then I am not in the library.',\n    'If I am in the library then I may not be working at my studies.',\n      [1,7,0,6,8,2,3,4,5]\n    ],\n  ['It is sunny','I will carry an umbrella',\n    'If it is not sunny then I will carry an umbrella.',\n    'I carry an umbrella even if it is sunny.',\n    'If it is sunny then I may carry an umbrella.',\n    'If I carry an umbrella then the day always turns out to be sunny!',\n    [8,4,6,7,0,1,2,5,3]\n    \n]\n    \n]", "description": "", "name": "choices"}, "t": {"templateType": "anything", "group": "Ungrouped variables", "definition": "random(0,1,2)", "description": "", "name": "t"}, "mm1": {"templateType": "anything", "group": "Ungrouped variables", "definition": "map(map(if(choices[1][6][y]=x,1,0),x,0..8),y,0..3)", "description": "", "name": "mm1"}, "mm0": {"templateType": "anything", "group": "Ungrouped variables", "definition": "map(map(if(choices[0][6][y]=x,1,0),x,0..8),y,0..3)", "description": "", "name": "mm0"}}, "ungrouped_variables": ["choices", "logic_exp", "t", "mm0", "mm1", "mm2"], "question_groups": [{"pickingStrategy": "all-ordered", "questions": [], "name": "", "pickQuestions": 0}], "name": "Predicates", "functions": {}, "showQuestionGroupNames": false, "parts": [{"displayType": "radiogroup", "minMarks": 0, "layout": {"type": "all", "expression": ""}, "choices": ["{choices[0][2]}", "{choices[0][3]}", "{choices[0][4]}", "{choices[0][5]}"], "showCorrectAnswer": true, "matrix": "mm0", "prompt": "<p>Let $p$ and $q$ denote respectively the propositions '{choices[0][0]}'&nbsp;and '{choices[0][1]}'.</p>", "type": "m_n_x", "maxAnswers": 0, "shuffleChoices": true, "warningType": "none", "scripts": {}, "marks": 0, "minAnswers": 0, "maxMarks": 0, "shuffleAnswers": true, "variableReplacementStrategy": "originalfirst", "variableReplacements": [], "answers": ["{logic_exp[0]}", "{logic_exp[1]}", "{logic_exp[2]}", "{logic_exp[3]}", "{logic_exp[4]}", "{logic_exp[5]}", "{logic_exp[6]}", "{logic_exp[7]}", "{logic_exp[8]}"]}, {"displayType": "radiogroup", "minMarks": 0, "layout": {"type": "all", "expression": ""}, "choices": ["{choices[1][2]}", "{choices[1][3]}", "{choices[1][4]}", "{choices[1][5]}"], "showCorrectAnswer": true, "matrix": "mm1", "prompt": "<p>Let $p$ and $q$ denote respectively the propositions '{choices[1][0]}'&nbsp;and '{choices[1][1]}'.</p>", "type": "m_n_x", "maxAnswers": 0, "shuffleChoices": true, "warningType": "none", "scripts": {}, "marks": 0, "minAnswers": 0, "maxMarks": 0, "shuffleAnswers": true, "variableReplacementStrategy": "originalfirst", "variableReplacements": [], "answers": ["{logic_exp[0]}", "{logic_exp[1]}", "{logic_exp[2]}", "{logic_exp[3]}", "{logic_exp[4]}", "{logic_exp[5]}", "{logic_exp[6]}", "{logic_exp[7]}", "{logic_exp[8]}"]}, {"displayType": "radiogroup", "minMarks": 0, "layout": {"type": "all", "expression": ""}, "choices": ["{choices[2][2]}", "{choices[2][3]}", "{choices[2][4]}", "{choices[2][5]}"], "showCorrectAnswer": true, "matrix": "mm2", "prompt": "<p>Let $p$ and $q$ denote respectively the propositions '{choices[2][0]}'&nbsp;and '{choices[2][1]}'.</p>", "type": "m_n_x", "maxAnswers": 0, "shuffleChoices": true, "warningType": "none", "scripts": {}, "marks": 0, "minAnswers": 0, "maxMarks": 0, "shuffleAnswers": true, "variableReplacementStrategy": "originalfirst", "variableReplacements": [], "answers": ["{logic_exp[0]}", "{logic_exp[1]}", "{logic_exp[2]}", "{logic_exp[3]}", "{logic_exp[4]}", "{logic_exp[5]}", "{logic_exp[6]}", "{logic_exp[7]}", "{logic_exp[8]}"]}], "statement": "<p>Choose the correct logical expression&nbsp;&nbsp;for the following English sentences.</p>", "tags": [], "rulesets": {}, "preamble": {"css": "", "js": ""}, "type": "question", "metadata": {"notes": "", "licence": "Creative Commons Attribution 4.0 International", "description": ""}, "variablesTest": {"condition": "", "maxRuns": 100}, "advice": "", "contributors": [{"name": "Newcastle University Mathematics and Statistics", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/697/"}]}]}], "contributors": [{"name": "Newcastle University Mathematics and Statistics", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/697/"}]}