Quiz Content

not completed
. In propositional logic, we use ________ to represent and clarify the logical relationships among statements.

not completed
. The only way for a conditional statement to be false is if ________.

not completed
. In propositional logic, ________ are symbolized by the ampersand (&).

not completed
. Standard practice in logic is to assume the inclusive of the word "or" when dealing with disjunctions, where "or" means ________.

not completed
. When a tilde (~) appears in front of a statement, it indicates that ________.

not completed
. "You may have soup, or you may have salad." This is an example of ________.

not completed
. "You should bring your board games to the party, and you should also bring your playing cards." This is an example of ________.

not completed
. "LeBron James was not the NBA Finals MVP." This is an example of ________.

not completed
. The argument form ________ is invalid.

not completed
. The argument form ________ is valid.

not completed
. Propositional (or truth-functional) logic is like categorical logic in the sense that it only employs two premise arguments.

not completed
. Two simple statements joined by a connective to form a compound statement are known as a disjunction.

not completed
. It is impossible for a valid argument to have true premises and a false conclusion.

not completed
. A truth table can tell us whether an argument is invalid because the table includes every possible combination of truth values.

not completed
. If it is true that "You will pass this course only if you pass the final exam," then it is also true that "If you pass this course, then you pass the final exam."

not completed
. "And," "but," and "moreover" are terms that can express logical conjunction.

not completed
. The words "either" and "neither" usually signal the beginning of a negation.

not completed
. A conditional statement is symbolized as ~p.

not completed
. Without logic, there would be no computers of any kind.

not completed
. Truth tables help us test an argument for validity by allowing us to check if premises are true and a conclusion is false.

Back to top