Quantifiers 3-

Error

There was an error loading the page.

Contributors

History

○

Newcastle University Mathematics and Statistics 9 years, 2 months ago

Created this.

Name	Status	Author	Last Modified
Quantifiers 3-	draft	Newcastle University Mathematics and Statistics	04/04/2023 08:39
Daniel's copy of Quantifiers 3-	draft	Daniel Mansfield	18/06/2019 08:37

There are 2 other versions that do you not have access to.

Question statement

In a seminar group, for group members $m$ and $n$ , we let $P(m,n)$ be the predicate m knows the name of n .

Negate each of the following English sentences and choose the corresponding expression for the negated proposition involving quantifiers.

Note that you will lose one mark for every incorrect choice. However, the minimum mark is $0$ .

Give any introductory information the student needs.

			Name	Type	Generated Value

select

list

[ 10, 6, 0, 7 ]

			Name	Type	Generated Value

select1

list

[ 1, 2, 3, 4 ]

			Name	Type	Generated Value

select2

list

[ 5, 8, 9, 11 ]

			Name	Type	Generated Value

			all	list	Nested 12×4 list
			marks_matrix	list	Nested 4×4 list

Automatically regenerate variables?

Name

Data type

Value

xxxxxxxxxx
 
shuffle(list(0..length(all)-1))[0..4]

JME function reference

Description

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

Can an exam override the value of this variable?

Generated value: `list`

[ 10, 6, 0, 7 ]

← Depends on:

→ Used by:

select1
select2

This variable doesn't seem to be used anywhere.

Parts

Part a) Match choices with answers
1. Step Information only
Part b) Match choices with answers
Part c) Match choices with answers

Match choices with answers

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

If you want some help in answering this question click on Show steps. You will lose a mark as one of the questions is answered for you.

Minimum marks

Maximum marks

(no maximum)

Penalty for revealing steps

Show correct answer on reveal?

Show score feedback icon?

Advanced settings

Minimum answers

Maximum answers

What to do if wrong number of answers selected:

Selection type

Layout

Show choice feedback state?

{all[select[0]][0]}
{all[select[1]][0]}
{all[select[2]][0]}
{all[select[3]][0]}

{all[select[0]][1]}
{all[select[1]][1]}
{all[select[2]][1]}
{all[select[3]][1]}

For each combination of answer and choice, specify the number of marks to add or subtract when the student picks it.

	{all[select[0]][1]}	{all[select[1]][1]}	{all[select[2]][1]}	{all[select[3]][1]}
{all[select[0]][0]}
{all[select[1]][0]}
{all[select[2]][0]}
{all[select[3]][0]}

Advice

In the following we use the rules for negating a proposition involving predicates and quantifiers as given in the lectures.

1. The sentence:

{all[select[0]][0]}

can be written in predicate form with quantifiers as:

{all[select[0]][3]}

The negation of the sentence can be written as:

{all[select[0]][2]}

The predicate form with quantifiers for this is:

{all[select[0]][1]}

2. The sentence:

{all[select[1]][0]}

can be written in predicate form with quantifiers as:

{all[select[1]][3]}

The negation of the sentence can be written as:

{all[select[1]][2]}

The predicate form with quantifiers for this is:

{all[select[1]][1]}

3. The sentence:

{all[select[2]][0]}

can be written in predicate form with quantifiers as:

{all[select[2]][3]}

The negation of the sentence can be written as:

{all[select[2]][2]}

The predicate form with quantifiers for this is:

{all[select[2]][1]}

4. The sentence:

{all[select[3]][0]}

can be written in predicate form with quantifiers as:

{all[select[3]][3]}

The negation of the sentence can be written as:

{all[select[3]][2]}

The predicate form with quantifiers for this is:

{all[select[3]][1]}

Similarly for Parts b) and c).

Give a worked solution to the whole question.

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

There was an error which means the tests can't run:

Part	Test	Passed?
Match choices with answers
Match choices with answers		Hasn't run yet
Information only
Match choices with answers
Match choices with answers		Hasn't run yet
Match choices with answers
Match choices with answers		Hasn't run yet

This question is used in the following exams:

Loading...

Error

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

History

Comment

Checkpoint description

Newcastle University Mathematics and Statistics 9 years, 2 months ago

Error in variable testing condition

Error

Warning

Generated value: `list`

Parts

Match choices with answers

Advanced settings

Loading...

Error

Quantifiers 3-

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

History

Comment

Checkpoint description

Newcastle University Mathematics and Statistics 9 years, 2 months ago

Error in variable testing condition

Error

Warning

Generated value: list

Parts

Match choices with answers

Advanced settings

Generated value: `list`