Quantifiers 3

Error

There was an error loading the page.

Contributors

Bill Foster

Feedback

From users who are members of Bill's workspace :

Bill Foster

said

Ready to use

9 years, 6 months ago

History

○

Bill Foster 9 years, 6 months ago

Gave some feedback: Ready to use

○

Bill Foster 9 years, 6 months ago

Created this.

There is only one version of this question that you have access to.

Question statement

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

Negate each of the following English sentence 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

[ 1, 7, 6, 2 ]

			Name	Type	Generated Value

select1

list

[ 0, 3, 4, 5 ]

			Name	Type	Generated Value

select2

list

[ 8, 9, 10, 11 ]

			Name	Type	Generated Value

			all	list	Nested 12×4 list
			marks	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`

[ 1, 7, 6, 2 ]

← Depends on:

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 exam:

SET07106 Taster by Peter Chapman in Peter's workspace.

Loading...

Error

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

Feedback

History

Comment

Checkpoint description

Bill Foster 9 years, 6 months ago

Bill Foster 9 years, 6 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

Feedback

History

Comment

Checkpoint description

Bill Foster 9 years, 6 months ago

Bill Foster 9 years, 6 months ago

Error in variable testing condition

Error

Warning

Generated value: list

Parts

Match choices with answers

Advanced settings

Generated value: `list`