Definition
A connective which includes the phrase "if and only if"
What is a biconditional?
The symbol that stands for "and" in symbolic logic.
What is the dot?
or
What is the upside down v?
A⊃X
What is False
An argument which has only T's in its truth table's final column
What is a Tautology?
p ⊃ q
q ⊃ r
therefore p ⊃ r
What is hypothetical syllogism?
A compound proposition which joins the two parts with the word "and" which is symbolized by the dot or upside down v symbol.
What is a conjunction?
The type of statement represented by the one-sided arrow or the U that's lying on its side.
What is a conditional statement?
or
What is a hypothetical statement?
A • B
What is True
The symbol for a _______ is defined by this truth table
p q p∙q
T T T
T F F
F T F
F F F
What is a conjunction?
p ⊃ q
p
therefore q
What is modus ponens?
An argument which has only F's in its truth table's final column
What is a contradiction?
This symbol reverses the truth value of any statement.
What is the tilde?
or
What is the L that's lying on its side?
X v Y
This truth table defines the symbol for _________
p ∼p
T F
F T
What is a negation?
p v q
∼ q
therefore p
What is disjunctive syllogism?
A compound proposition which joins the two parts with the word "or" which is symbolized by the v
What is a disjunction?
The symbol that stands for "or" in compound statements.
What is the v?
(X ⊃ C) v X
What is True?
This truth table defines the symbol for a __________.
p q p⊃q
T T T
T F F
F T T
F F T
What is a conditional statement?
p ⊃ q
∼ q
therefore ∼ p
What is modus tollens?
The only punctuation used in symbolic logic.
What is parentheses?
The symbol which stands for "if and only if."
What is =?
(C • B) • (X v Y)
What is False?
This truth table defines this kind of statement.
p q p∨q
T T T
T F T
F T T
F F F
What is a disjunction?
(A v ∼Y) ⊃ (C • B)
(A v ∼Y)
therefore (C • B)
What is modus ponens?