law of syllogism
if p ➡q and q➡r are true conditional statements then p➡r is true
a statement that contains the phrase "if and only if" the symbol for "if and only if" is ↔
a true statement that follows as a result of other true statements
two statements that are both true of both false
line perpendicular to a plane
a line that intersects the plane in in a point and is perpendicular to every line in the plane that intersects it
the statement formed by switching the hypothesis and conclusion of a conditional statement
the "if" part of a conditional statement
has two parts, a hypothesis and a conclusion.
a type of proof written as numbered statements and reasons that show the logical order of an argument
the "then" part of a conditional statement
two lines that intersect to form a right angle. the smybol for "is perpendicular to" is ⊥
the negative of a statement. the negation symbol is ~
law of detachment
if p ➡ q is a true conditional statement and p is true, than q is true
a type of proof written in paragraph form
the "if" part contains the hypothesis and the "then" part contains the conclusion.
an argument based on deductive reasoning, which uses facts, definitions, and accepted properties in a logical order
the statement formed when you negate the hypothesis and conclusion of the converse of a conditional statement
the statement formed when you negate the hypothesis and conclusion of a conditional statement
Please allow access to your computer’s microphone to use Voice Recording.
We can’t access your microphone!
Click the icon above to update your browser permissions above and try again
Reload the page to try again!
Press Cmd-0 to reset your zoom
Press Ctrl-0 to reset your zoom
It looks like your browser might be zoomed in or out. Your browser needs to be zoomed to a normal size to record audio.
Your microphone is muted
For help fixing this issue, see this FAQ.