Operators

Rules of Replacement

Rules of Inference

Dilemmas

Comparisons

100

Logical operator that joins 2 propositions and is true if and only if both propositions are true.

What is conjunction?

200

Logical operator that denies or contradicts a proposition.

What is negation?

300

Logical operator that joins 2 propositions and is false if and only if both propositions are false.

What is disjunction?

400

Logical operator that is equivalent to the conjunction of a conditional and it's converse. It is true when both parts have the same truth value and false when their truth values are different.

What is biconditional?

500

Logical operator that asserts that one component part (antecedent) implies the other (the consequent). It is false if and only if the antecedent is true and the consequent is false.

What is conditional?

Click to zoom