Marie's Logic workspace

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$

Match the equivalence with the rule

Match the equivalence with the rule

Asks to determine whether or not 6 statements are propositions or not i.e. we can determine a truth value or not.

One question on determining whether statements are propositions.

Four questions about truth tables for various logical expressions.

Demonstrates how to create variables containing LaTeX commands, and how to use them in the question text.

No description given

This is a quiz on truth tables.

Asks to determine whether or not 6 arguments are logically valid or not.

Determine if an argument is valid or not.

Determine if an argument is valid or not.

Determine if an argument is valid or not.

Determine if an argument is valid or not.

Determine if an argument is valid or not.

Determine if an argument is valid or not.

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$.

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)$.

Create a truth table with 3 logic variables to see if two logic expressions are equivalent.

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$

Asks to determine whether or not 6 statements are propositions or not i.e. we can determine a truth value or not.

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)$

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$

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)$.

Match the equivalence with the rule

Match the equivalence with the rule

Match the equivalence with the rule

Match the equivalence with the rule

Match the equivalence with the rule

No description given

No description given