// Numbas version: finer_feedback_settings
{"name": "Implication", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"functions": {}, "ungrouped_variables": ["a", "day1", "day2", "OddEven", "OE", "EO"], "name": "Implication", "tags": ["if then", "implication", "logic"], "preamble": {"css": "", "js": ""}, "advice": "<p>The mathematical symbol $ \\Rightarrow $ should be read as 'implies that'.</p>\n<p>$ A \\Rightarrow B$ means that if $A$ is true then $B$ is forced to be true.</p>\n<p>The same idea is involved in the 'if... then' structure. It means that <strong>if</strong> the first part is true <strong>then</strong> the second part must be true.</p>", "rulesets": {}, "parts": [{"distractors": ["", ""], "prompt": "<p>If&nbsp; the integer $ \\var{a} $ is {OE}, then $ \\var{a}$ + 1&nbsp; is {EO}.</p>", "matrix": ["1", "0"], "shuffleChoices": false, "variableReplacements": [], "choices": ["<p>True</p>", "<p>False</p>"], "variableReplacementStrategy": "originalfirst", "displayType": "radiogroup", "maxMarks": 0, "scripts": {}, "marks": 0, "displayColumns": 0, "showCorrectAnswer": true, "type": "1_n_2", "minMarks": 0}, {"distractors": ["", ""], "prompt": "<p>If the statements A and B are defined as</p>\n<p>A: Today is $ \\var{day1}$</p>\n<p>B: Tomorrow is $ \\var{day2}$</p>\n<p>then $ A \\Rightarrow B$.</p>", "matrix": [0, "1"], "shuffleChoices": false, "variableReplacements": [], "choices": ["<p>True</p>", "<p>False</p>"], "variableReplacementStrategy": "originalfirst", "displayType": "radiogroup", "maxMarks": 0, "scripts": {}, "marks": 0, "displayColumns": 0, "showCorrectAnswer": true, "type": "1_n_2", "minMarks": 0}], "extensions": [], "statement": "<p>Decide if these statements are true or false.</p>", "variable_groups": [], "variablesTest": {"maxRuns": 100, "condition": ""}, "variables": {"a": {"definition": "random('n', 'm', 'x', 'y')", "templateType": "anything", "group": "Ungrouped variables", "name": "a", "description": ""}, "EO": {"definition": "If (OddEven =1,'even', 'odd')", "templateType": "anything", "group": "Ungrouped variables", "name": "EO", "description": ""}, "OE": {"definition": "If (OddEven=1, 'odd', 'even')", "templateType": "anything", "group": "Ungrouped variables", "name": "OE", "description": ""}, "day2": {"definition": "random( 'Monday', 'Tuesday', 'Wednesday')", "templateType": "anything", "group": "Ungrouped variables", "name": "day2", "description": "<p>Understanding of impication sign and 'if, then' structure in simple cases.</p>"}, "day1": {"definition": "random('Thursday','Friday','Saturday')", "templateType": "anything", "group": "Ungrouped variables", "name": "day1", "description": ""}, "OddEven": {"definition": "Random(0,1)", "templateType": "anything", "group": "Ungrouped variables", "name": "OddEven", "description": ""}}, "metadata": {"description": "<p>Implication sign and 'if, then' construction.</p>", "licence": "Creative Commons Attribution 4.0 International"}, "type": "question", "showQuestionGroupNames": false, "question_groups": [{"name": "", "pickingStrategy": "all-ordered", "pickQuestions": 0, "questions": []}], "contributors": [{"name": "Lois Rollings", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/326/"}], "resources": []}]}], "contributors": [{"name": "Lois Rollings", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/326/"}]}