// Numbas version: finer_feedback_settings
{"name": "Inference rules 2", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"tags": [], "preamble": {"js": "", "css": ""}, "variablesTest": {"maxRuns": 100, "condition": ""}, "advice": "", "rulesets": {}, "variable_groups": [], "variables": {"prop5": {"group": "Ungrouped variables", "name": "prop5", "definition": "random(propositions except [prop1, prop2, prop3, prop4])", "templateType": "anything", "description": ""}, "prop1": {"group": "Ungrouped variables", "name": "prop1", "definition": "random(propositions)", "templateType": "anything", "description": ""}, "prop4": {"group": "Ungrouped variables", "name": "prop4", "definition": "random(propositions except [prop1, prop2, prop3])", "templateType": "anything", "description": ""}, "prop6": {"group": "Ungrouped variables", "name": "prop6", "definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5])", "templateType": "anything", "description": ""}, "propositions": {"group": "Ungrouped variables", "name": "propositions", "definition": "[\n  \"(p \\\\lor q)\",\n  \"(p \\\\land q)\",\n  \"p\",\n  \"q\",\n  \"r\",\n  \"\\\\lnot t\",\n  \"\\\\lnot s\",\n  \"(p \\\\land s)\",\n  \"(r \\\\lor t)\"\n]", "templateType": "anything", "description": ""}, "prop7": {"group": "Ungrouped variables", "name": "prop7", "definition": "random(propositions except [prop1, prop2, prop3, prop4, prop5, prop6])", "templateType": "anything", "description": ""}, "prop2": {"group": "Ungrouped variables", "name": "prop2", "definition": "random(propositions except prop1)", "templateType": "anything", "description": ""}, "prop3": {"group": "Ungrouped variables", "name": "prop3", "definition": "random(propositions except [prop1, prop2])", "templateType": "anything", "description": ""}}, "metadata": {"description": "<p>Match the equivalence&nbsp;with the rule</p>", "licence": "Creative Commons Attribution 4.0 International"}, "name": "Inference rules 2", "ungrouped_variables": ["propositions", "prop1", "prop2", "prop3", "prop4", "prop5", "prop6", "prop7"], "extensions": [], "functions": {}, "statement": "<p>Match the inference with the corresponding law.</p>", "parts": [{"marks": 0, "minAnswers": 0, "matrix": [["0", 0, "1", 0], [0, "1", "0", 0], ["1", "0", 0, 0], [0, 0, 0, "1"]], "maxMarks": 0, "shuffleAnswers": false, "layout": {"type": "all", "expression": ""}, "extendBaseMarkingAlgorithm": true, "choices": ["<br/>$\\var{latex(prop1)} \\lor \\var{latex(prop2)}\\\\<br/>&nbsp;\\lnot \\var{latex(prop1)} \\lor&nbsp; \\var{latex(prop3)}&nbsp;<br/>$<br/>__________________<br/>$\\therefore \\var{latex(prop2)} \\lor\\var{latex(prop3)}$<br/><br/>", "<br/>$\\var{latex(prop4)} \\land \\var{latex(prop5)}&nbsp;&nbsp;<br/>$<br/>__________________<br/>$\\therefore&nbsp;\\var{latex(prop4)}<br/>$<br/><br/>", "<br/>$\\var{latex(prop6)}$<br/>__________________<br/>$\\therefore \\var{latex(prop6)} \\lor \\var{latex(prop7)}<br/>$<br/><br/>", "<br/>$\\var{latex(prop3)}&nbsp; \\\\ \\var{latex(prop7)}&nbsp;<br/>$<br/>__________________<br/>$\\therefore&nbsp;\\var{latex(prop3)} \\land \\var{latex(prop7)}\\\\\\\\\\\\\\\\<br/>$<br/><br/>"], "answers": ["Addition", "Simplification", "Resolution", "Conjunction"], "showCellAnswerState": true, "showFeedbackIcon": true, "displayType": "radiogroup", "customMarkingAlgorithm": "", "variableReplacementStrategy": "originalfirst", "variableReplacements": [], "shuffleChoices": false, "unitTests": [], "type": "m_n_x", "minMarks": 0, "scripts": {}, "showCorrectAnswer": true, "maxAnswers": 0, "warningType": "none"}], "type": "question", "contributors": [{"name": "Christian Lawson-Perfect", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/7/"}, {"name": "Marie Nicholson", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/1799/"}]}]}], "contributors": [{"name": "Christian Lawson-Perfect", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/7/"}, {"name": "Marie Nicholson", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/1799/"}]}