There was an error loading the page.


Given two propositions in mathematics using quantifiers, choose the corresponding negation of the proposition. For example, the negation of: aR+,bN,cN[(c<b+1)(12n3a)]

Try to answer the following questions here:

  • What is this question used for?
  • What does this question assess?
  • What does the student have to do?
  • How is the question randomised?
  • Are there any implementation details that editors should be aware of?

Metadata

Licence information

  • England schools
  • England university
  • Scotland schools

Taxonomy: mathcentre

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Taxonomy: Kind of activity

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            Taxonomy: Context

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          History

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Comment

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Checkpoint description

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Describe what's changed since the last checkpoint.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Newcastle University Mathematics and Statistics 9 years, 2 months ago

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Created this.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Name Status Author Last Modified
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Quantifiers 4--AJD draft Newcastle University Mathematics and Statistics 20/11/2019 14:51
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Luis's copy of Quantifiers 4--AJD draft Luis Hernandez 30/11/2018 18:11

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Give any introductory information the student needs.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Name Type Generated Value
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Prop_const list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          List of 6 items
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Cchoice list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Nested 2×2 list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Achoice list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Nested 8×1 list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Qchoice list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Nested 2×2 list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Bchoice list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Nested 6×2 list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          wrong_flags list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Nested 4×5 list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          prop2 list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          List of 2 items

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Describe what this variable represents, and list any assumptions made about its value.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          Generated value: list

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          [ [ "\\exists", "\\forall" ], [ "\\forall", "\\exists" ], [ "\\forall", "\\exists" ], [ "c = b" ], [ "\\frac\{c^2+6\}\{2c^2+1\} < a", "\\frac\{c^2+6\}\{2c^2+1\} \\ge a" ], [ "\\land", "\\rightarrow" ] ]
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ← Depends on:
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Achoice
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Bchoice
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Cchoice
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          • Qchoice
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          → Used by:

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              This variable doesn't seem to be used anywhere.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Choose one from a list

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Ask the student a question, and give any hints about how they should answer this part.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Choose the negation of   {latex(Prop_const[0][0])}aR+,{latex(Prop_const[1][0])}bN,{latex(Prop_const[2][0])}cN[({latex(Prop_const[3][0])}){latex(Prop_const[5][0])}({latex(Prop_const[4][0])})]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              from the list below


                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Advanced settings


                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • {latex(Prop_const[0][1])}aR+,{latex(Prop_const[1][1])}bN,{latex(Prop_const[2][1])}cN[({latex(Prop_const[3][0])}){latex(Prop_const[5][1])}({latex(Prop_const[4][1])})]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • {latex(Prop_const[0][wrong_flags[0][0]])}aR+,{latex(Prop_const[1][wrong_flags[0][1]])}bN,{latex(Prop_const[2][wrong_flags[0][2]])}cN[({latex(Prop_const[3][0])}){latex(Prop_const[5][wrong_flags[0][3]])}({latex(Prop_const[4][wrong_flags[0][4]])})]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              • {latex(Prop_const[0][wrong_flags[1][0]])}aR+,{latex(Prop_const[1][wrong_flags[1][1]])}bN,{latex(Prop_const[2][wrong_flags[1][2]])}cN[({latex(Prop_const[3][0])}){latex(Prop_const[5][wrong_flags[1][3]])}({latex(Prop_const[4][wrong_flags[1][4]])})]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              •  {latex(Prop_const[0][wrong_flags[2][0]])}aR+,{latex(Prop_const[1][wrong_flags[2][1]])}bN,{latex(Prop_const[2][wrong_flags[2][2]])}cN[({latex(Prop_const[3][0])}){latex(Prop_const[5][wrong_flags[2][3]])}({latex(Prop_const[4][wrong_flags[2][4]])})]

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Give a worked solution to the whole question.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              Select extensions to use in this question.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Use this tab to check that this question works as expected.

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Part Test Passed?
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Choose one from a list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Hasn't run yet
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Choose one from a list
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                Hasn't run yet

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                This question is used in the following exams: