Operators
Logical operator that joins 2 propositions and is true if and only if both propositions are true.
What is conjunction?
Logical operator that denies or contradicts a proposition.
What is negation?
Logical operator that joins 2 propositions and is false if and only if both propositions are false.
What is disjunction?
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?
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?