// Numbas version: finer_feedback_settings
{"name": "Quantifiers1", "extensions": [], "custom_part_types": [], "resources": [], "navigation": {"allowregen": true, "showfrontpage": false, "preventleave": false, "typeendtoleave": false}, "question_groups": [{"pickingStrategy": "all-ordered", "questions": [{"functions": {}, "ungrouped_variables": ["all", "neg_marks"], "name": "Quantifiers1", "tags": ["logic", "quantifiers", "statements"], "preamble": {"css": "", "js": ""}, "advice": "", "rulesets": {}, "parts": [{"maxAnswers": "6", "variableReplacements": [], "layout": {"expression": "", "type": "all"}, "matrix": "marking_matrix", "shuffleAnswers": false, "minAnswers": "6", "shuffleChoices": true, "answers": ["{all[select[0]][1]}", "{all[select[1]][1]}", "{all[select[2]][1]}", "True", "False"], "choices": ["{all[select[0]][0]}", "{all[select[1]][0]}", "{all[select[2]][0]}"], "variableReplacementStrategy": "originalfirst", "displayType": "checkbox", "maxMarks": 0, "scripts": {}, "marks": 0, "warningType": "warn", "showCorrectAnswer": true, "type": "m_n_x", "minMarks": 0}, {"maxAnswers": "6", "variableReplacements": [], "layout": {"expression": "", "type": "all"}, "matrix": "marking_matrix1", "shuffleAnswers": false, "minAnswers": "6", "shuffleChoices": true, "answers": ["{all[select1[0]][1]}", "{all[select1[1]][1]}", "{all[select1[2]][1]}", "True", "False"], "choices": ["{all[select1[0]][0]}", "{all[select1[1]][0]}", "{all[select1[2]][0]}"], "variableReplacementStrategy": "originalfirst", "displayType": "checkbox", "maxMarks": 0, "scripts": {}, "marks": 0, "warningType": "warn", "showCorrectAnswer": true, "type": "m_n_x", "minMarks": 0}, {"maxAnswers": "6", "variableReplacements": [], "layout": {"expression": "", "type": "all"}, "matrix": "marking_matrix2", "shuffleAnswers": false, "minAnswers": "6", "shuffleChoices": true, "answers": ["{all[select2[0]][1]}", "{all[select2[1]][1]}", "{all[select2[2]][1]}", "True", "False"], "choices": ["{all[select2[0]][0]}", "{all[select2[1]][0]}", "{all[select2[2]][0]}"], "variableReplacementStrategy": "originalfirst", "displayType": "checkbox", "maxMarks": 0, "scripts": {}, "marks": 0, "warningType": "warn", "showCorrectAnswer": true, "type": "m_n_x", "minMarks": 0}], "statement": "<p>Choose the appropriate statement for the following English sentences. Also choose whether they are true or false.</p>\n<p>Note that you must choose $2$ choices &nbsp;in each row, one of which is to determine whether the statement is true or false.</p>\n<p>Note also that every wrong answer takes away one from your score. However, your minimum score is $0$.</p>", "variable_groups": [{"variables": ["marking_matrix", "select"], "name": "Part 0"}, {"variables": ["select1", "marking_matrix1"], "name": "Part 1"}, {"variables": ["select2", "marking_matrix2"], "name": "Part 2"}], "variablesTest": {"maxRuns": 100, "condition": ""}, "variables": {"all": {"definition": "[['The square of any real number is greater than $0$.',\n    '$\\\\forall x \\\\in \\\\mathbb{R},x^2\\\\gt 0.$',-1],\n  ['Given a real number then some integral power is not negative.',\n    '$\\\\forall x \\\\in \\\\mathbb{R}, \\\\exists n \\\\in \\\\mathbb{N},x^n\\\\geq 0.$',1],\n  ['A subset of the natural numbers is a subset of the reals.',\n    '$\\\\forall X \\\\subseteq \\\\mathbb{N}, X\\\\subseteq \\\\mathbb{R}.$',1],\n  ['For every natural number $n$ there is a subset of $\\\\mathbb{N}$ with less than $n$ members.',\n    '$\\\\forall n \\\\in \\\\mathbb{N}, \\\\exists X \\\\subseteq \\\\mathbb{N},|X|\\\\lt n.$',1],\n  ['All subsets of the natural numbers have less than a fixed number of elements.',\n    '$\\\\exists n \\\\in \\\\mathbb{N}, \\\\forall X \\\\subseteq \\\\mathbb{N},|X|\\\\lt n.$',-1],\n  ['All subsets of the natural numbers are finite.',\n    '$\\\\forall X \\\\subseteq \\\\mathbb{N}, \\\\exists n \\\\in \\\\mathbb{Z},|X|=n.$',-1],\n  ['Given an integer $n$, there is a subset of the natural numbers with $n$ elements.',\n    '$\\\\forall n \\\\in \\\\mathbb{Z},\\\\exists X \\\\subseteq \\\\mathbb{N},|X|=n.$',-1],\n  ['Given an integer, then adding $5$ to it gives another integer.',\n    '$\\\\forall n \\\\in \\\\mathbb{Z}, \\\\exists m \\\\in \\\\mathbb{Z}, m=n+5.$',1],\n  ['There is an integer $t$ such that adding $5$ to any integer gives $t$.',\n    '$\\\\exists m \\\\in \\\\mathbb{Z}, \\\\forall n \\\\in \\\\mathbb{Z}, m=n+5.$',-1]\n  ]", "templateType": "anything", "group": "Ungrouped variables", "name": "all", "description": ""}, "marking_matrix2": {"definition": "map(list(neg_marks[x])+[all[select2[x]][2]]+[-1*all[select2[x]][2]],x,0..2)", "templateType": "anything", "group": "Part 2", "name": "marking_matrix2", "description": ""}, "marking_matrix1": {"definition": "map(list(neg_marks[x])+[all[select1[x]][2]]+[-1*all[select1[x]][2]],x,0..2)", "templateType": "anything", "group": "Part 1", "name": "marking_matrix1", "description": ""}, "neg_marks": {"definition": "2*id(3)+matrix(map(map(-1,x,0..2),y,0..2))", "templateType": "anything", "group": "Ungrouped variables", "name": "neg_marks", "description": ""}, "select2": {"definition": "list(set(0..length(all)-1)-(set(select) or set(select1)))", "templateType": "anything", "group": "Part 2", "name": "select2", "description": ""}, "select1": {"definition": "list(set(0..length(all)-1)-set(select))[0..3]", "templateType": "anything", "group": "Part 1", "name": "select1", "description": ""}, "marking_matrix": {"definition": "map(list(neg_marks[x])+[all[select[x]][2]]+[-1*all[select[x]][2]],x,0..2)", "templateType": "anything", "group": "Part 0", "name": "marking_matrix", "description": ""}, "select": {"definition": "shuffle(list(0..length(all)-1))[0..3]", "templateType": "anything", "group": "Part 0", "name": "select", "description": ""}}, "metadata": {"notes": "", "description": "<p>English sentences are given and for each the appropriate statement involving quantifiers is to be chosen. Also choose whether the statements are true or false.</p>", "licence": "Creative Commons Attribution 4.0 International"}, "type": "question", "showQuestionGroupNames": false, "question_groups": [{"name": "", "pickingStrategy": "all-ordered", "pickQuestions": 0, "questions": []}], "contributors": [{"name": "Bill Foster", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/6/"}]}]}], "contributors": [{"name": "Bill Foster", "profile_url": "https://numbas.mathcentre.ac.uk/accounts/profile/6/"}]}