Equivalence rules 1

Error

There was an error loading the page.

Contributors

History

○

Marie Nicholson 6 years ago

Created this as a copy of Displaying a randomised proposition.

Name	Status	Author	Last Modified
Displaying a randomised LaTeX command	Ready to use	Christian Lawson-Perfect	05/05/2021 10:51
Tom's copy of Displaying a randomised LaTeX command	draft	Tom Stallard	15/01/2017 17:18
Displaying a randomised LaTeX command	draft	Marlon Arcila	23/09/2016 01:51
Joshua's copy of Displaying a randomised LaTeX command	draft	Joshua Capel	21/08/2017 02:17
Ben's copy of Displaying a randomised LaTeX command	draft	Ben Brawn	28/09/2022 12:49
Displaying a randomised proposition	draft	Marie Nicholson	04/02/2021 15:27
Equivalence rules 1	draft	Marie Nicholson	19/03/2021 16:58
Equivalence rules 2	draft	Marie Nicholson	04/02/2021 15:23
Equivalence rules 3	draft	Marie Nicholson	04/02/2021 15:23
Inference rules 1	draft	Marie Nicholson	19/03/2021 17:11
Inference rules 2	draft	Marie Nicholson	04/02/2021 15:23
Valid or invalid argument 1	draft	Marie Nicholson	04/02/2021 15:26
Valid or invalid argument 2	draft	Marie Nicholson	04/02/2021 15:26
Valid or invalid argument 3	draft	Marie Nicholson	04/02/2021 15:26
Valid or invalid argument 4	draft	Marie Nicholson	04/02/2021 15:26
Valid or invalid argument 5	draft	Marie Nicholson	04/02/2021 15:26
Valid or invalid argument 6	draft	Marie Nicholson	04/02/2021 15:26
Equivalence rules 1 - quiz	draft	Marie Nicholson	04/02/2021 15:23
Equivalence rules 2 - quiz	draft	Marie Nicholson	04/02/2021 15:23
TL's copy of Equivalence rules 1	Ready to use	T LIM	31/05/2022 01:48

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

Question statement

Match the equivalence with the corresponding law.

Give any introductory information the student needs.

			Name	Type	Generated Value

propositions	list	List of 9 items
prop1	string	\lnot p
prop2	string	(p \lor q)
prop3	string	\lnot r
prop4	string	(p \land r)
prop5	string	r
prop6	string	q
prop7	string	(r \lor q)

Automatically regenerate variables?

Name

Data type

Value

xxxxxxxxxx
 
[
  "(p \\lor q)",
  "(p \\land q)",
  "p",
  "q",
  "r",
  "\\lnot p",
  "\\lnot r",
  "(p \\land r)",
  "(r \\lor q)"
]

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`

[ "(p \\lor q)", "(p \\land q)", "p", "q", "r", "\\lnot p", "\\lnot r", "(p \\land r)", "(r \\lor q)" ]

→ Used by:

prop1
prop2
prop3
prop4
prop5
prop6
prop7

This variable doesn't seem to be used anywhere.

Parts

Match choices with answers

Match choices with answers

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

Minimum marks

Maximum marks

(no maximum)

Show correct answer on reveal?

Show score feedback icon?

Advanced settings

Minimum answers

Maximum answers

(no maximum)

What to do if wrong number of answers selected:

Selection type

Layout

Show choice feedback state?

$\lnot(\var{latex(prop1)} \land \var{latex(prop2)}) \equiv \lnot\var{latex(prop1)} \lor \lnot\var{latex(prop2)}$
$\lnot \lnot \var{latex(prop3)} \equiv \var{latex(prop3)}$
$\var{latex(prop4)} \leftrightarrow \var{latex(prop5)} \equiv (\var{latex(prop4)} \to \var{latex(prop5)}) \land (\var{latex(prop5)} \to \var{latex(prop4)})$
$\var{latex(prop4)} \to\var{latex(prop6)} \equiv \lnot\var{latex(prop4)} \lor\var{latex(prop6)}$
$\lnot(\var{latex(prop3)} \lor \var{latex(prop5)}) \equiv \lnot\var{latex(prop3)} \land \lnot\var{latex(prop5)}$
$\var{latex(prop2)} \leftrightarrow \var{latex(prop6)} \equiv (\var{latex(prop2)} \to \var{latex(prop6)}) \land (\var{latex(prop6)} \to \var{latex(prop2)})$
$\lnot \lnot \var{latex(prop7)} \equiv \var{latex(prop7)}$
$\var{latex(prop1)} \to\var{latex(prop7)} \equiv \lnot\var{latex(prop1)} \lor\var{latex(prop7)}$

De Morgan's
Double negation
Conditional
Biconditional

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

	De Morgan's	Double negation	Conditional	Biconditional
$\lnot(\var{latex(prop1)} \land \var{latex(prop2)}) \equiv \lnot\var{latex(prop1)} \lor \lnot\var{latex(prop2)}$
$\lnot \lnot \var{latex(prop3)} \equiv \var{latex(prop3)}$
$\var{latex(prop4)} \leftrightarrow \var{latex(prop5)} \equiv (\var{latex(prop4)} \to \var{latex(prop5)}) \land (\var{latex(prop5)} \to \var{latex(prop4)})$
$\var{latex(prop4)} \to\var{latex(prop6)} \equiv \lnot\var{latex(prop4)} \lor\var{latex(prop6)}$
$\lnot(\var{latex(prop3)} \lor \var{latex(prop5)}) \equiv \lnot\var{latex(prop3)} \land \lnot\var{latex(prop5)}$
$\var{latex(prop2)} \leftrightarrow \var{latex(prop6)} \equiv (\var{latex(prop2)} \to \var{latex(prop6)}) \land (\var{latex(prop6)} \to \var{latex(prop2)})$
$\lnot \lnot \var{latex(prop7)} \equiv \var{latex(prop7)}$
$\var{latex(prop1)} \to\var{latex(prop7)} \equiv \lnot\var{latex(prop1)} \lor\var{latex(prop7)}$

Advice

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

This question is used in the following exams:

Quiz 2 (Bob) by Bob Heffernan in Marie's Logic workspace.
Equivalence rules by Marie Nicholson in Marie's Logic workspace.

Loading...

Error

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

History

Comment

Checkpoint description

Marie Nicholson 6 years ago

Error in variable testing condition

Error

Warning

Generated value: `list`

Parts

Match choices with answers

Advanced settings

Loading...

Error

Equivalence rules 1

Metadata

Taxonomy: mathcentre

Taxonomy: Kind of activity

Taxonomy: Context

Contributors

History

Comment

Checkpoint description

Marie Nicholson 6 years ago

Error in variable testing condition

Error

Warning

Generated value: list

Parts

Match choices with answers

Advanced settings

Generated value: `list`