Search - Marie's Logic workspace - Numbas at mathcentre.ac.uk

32 results in Marie's Logic workspace - search across all projects.

Inference rules 1
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Equivalence rules 1
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Marie's copy of Andrew's copy of Propositions (v2)
Draft
Question by Marie Nicholson and 1 other

Asks to determine whether or not 6 statements are propositions or not i.e. we can determine a truth value or not.
Propositions and Truth Tables
Draft
Exam (6 questions) by Marie Nicholson

One question on determining whether statements are propositions.

Four questions about truth tables for various logical expressions.
Displaying a randomised proposition
Draft
Question by Marie Nicholson and 1 other

Demonstrates how to create variables containing LaTeX commands, and how to use them in the question text.
Exam copy of Conditional
Draft
Question by Marie Nicholson

No description given
Quiz 1 (Bob)
Draft
Exam (2 questions) by Marie Nicholson

This is a quiz on truth tables.
Valid or invalid argument 6
Draft
Question by Marie Nicholson and 1 other

Determine if an argument is valid or not.
Valid or invalid argument 1
Draft
Question by Marie Nicholson and 1 other

Determine if an argument is valid or not.
Valid or invalid argument 2
Draft
Question by Marie Nicholson and 1 other

Determine if an argument is valid or not.
Valid or invalid argument 3
Draft
Question by Marie Nicholson and 1 other

Determine if an argument is valid or not.
Valid or invalid argument 4
Draft
Question by Marie Nicholson and 1 other

Determine if an argument is valid or not.
Valid or invalid argument 5
Draft
Question by Marie Nicholson and 1 other

Determine if an argument is valid or not.
Truth tables 0
Draft
Question by Marie Nicholson

Create a truth table for a logical expression of the form $a \operatorname{op} b$ where $a, \;b$ can be the Boolean variables $p,\;q,\;\neg p,\;\neg q$ and $\operatorname{op}$ one of $\lor,\;\land,\;\to$ .

For example $\neg q \to \neg p$ .
Marie's copy of larger truth table
Draft
Question by Marie Nicholson

Create a truth table for a logical expression of the form $(a \operatorname{op1} b) \operatorname{op2}(c \operatorname{op3} d)$ where $a, \;b,\;c,\;d$ can be the Boolean variables $p,\;q,\;\neg p,\;\neg q$ and each of $\operatorname{op1},\;\operatorname{op2},\;\operatorname{op3}$ one of $\lor,\;\land,\;\to$ .

For example: $(p \lor \neg q) \land(q \to \neg p)$ .
Marie's copy of truth table with 3 logic variables
Draft
Question by Marie Nicholson

Create a truth table with 3 logic variables to see if two logic expressions are equivalent.
Truth tables 4
Draft
Question by Marie Nicholson

Create a truth table for a logical expression of the form $((a \operatorname{op1} b) \operatorname{op2}(c \operatorname{op3} d))\operatorname{op4}e$ where each of $a, \;b,\;c,\;d,\;e$ can be one the Boolean variables $p,\;q,\;r,\;\neg p,\;\neg q,\;\neg r$ and each of $\operatorname{op1},\;\operatorname{op2},\;\operatorname{op3},\;\operatorname{op4}$ one of $\lor,\;\land,\;\to$ .

For example: $((q \lor \neg r) \to (p \land \neg q)) \land \neg r$
Truth tables 3
Draft
Question by Marie Nicholson

Create a truth table for a logical expression of the form $((a \operatorname{op1} b) \operatorname{op2}(c \operatorname{op3} d))\operatorname{op4}(e \operatorname{op5} f)$ where each of $a, \;b,\;c,\;d,\;e,\;f$ can be one the Boolean variables $p,\;q,\;\neg p,\;\neg q$ and each of $\operatorname{op1},\;\operatorname{op2},\;\operatorname{op3},\;\operatorname{op4},\;\operatorname{op5}$ one of $\lor,\;\land,\;\to$ .

For example: $((q \lor \neg p) \to (p \land \neg q)) \to (p \lor q)$
Truth tables 2
Draft
Question by Marie Nicholson

Create a truth table for a logical expression of the form $((a \operatorname{op1} b) \operatorname{op2}(c \operatorname{op3} d))\operatorname{op4}e$ where each of $a, \;b,\;c,\;d,\;e$ can be one the Boolean variables $p,\;q,\;\neg p,\;\neg q$ and each of $\operatorname{op1},\;\operatorname{op2},\;\operatorname{op3},\;\operatorname{op4}$ one of $\lor,\;\land,\;\to$ .

For example: $((q \lor \neg p) \to (p \land \neg q)) \lor \neg q$
Truth tables 1
Draft
Question by Marie Nicholson

Create a truth table for a logical expression of the form $(a \operatorname{op1} b) \operatorname{op2}(c \operatorname{op3} d)$ where $a, \;b,\;c,\;d$ can be the Boolean variables $p,\;q,\;\neg p,\;\neg q$ and each of $\operatorname{op1},\;\operatorname{op2},\;\operatorname{op3}$ one of $\lor,\;\land,\;\to$ .

For example: $(p \lor \neg q) \land(q \to \neg p)$ .
Inference rules 2
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Equivalence rules 2 - quiz
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Equivalence rules 1 - quiz
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Equivalence rules 3
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Equivalence rules 2
Draft
Question by Marie Nicholson and 1 other

Match the equivalence with the rule
Counterexample 3
Draft
Question by Marie Nicholson

No description given
Counterexample 2
Draft
Question by Marie Nicholson

No description given
Counterexample 1
Draft
Question by Marie Nicholson

No description given
Conditional 3
Draft
Question by Marie Nicholson

No description given
Conditional 2
Draft
Question by Marie Nicholson

No description given

Marie's Logic workspace

Show results for Show results for

Refine by Refine by

Status

Author

Tags

Usage rights

Ability Level

Topics