Study your flashcards anywhere!

Download the official Cram app for free >

  • Shuffle
    Toggle On
    Toggle Off
  • Alphabetize
    Toggle On
    Toggle Off
  • Front First
    Toggle On
    Toggle Off
  • Both Sides
    Toggle On
    Toggle Off
  • Read
    Toggle On
    Toggle Off
Reading...
Front

How to study your flashcards.

Right/Left arrow keys: Navigate between flashcards.right arrow keyleft arrow key

Up/Down arrow keys: Flip the card between the front and back.down keyup key

H key: Show hint (3rd side).h key

A key: Read text to speech.a key

image

Play button

image

Play button

image

Progress

1/15

Click to flip

15 Cards in this Set

  • Front
  • Back
A type of logical statement that has two parts, a hypothesis and conplusion
conditional statement
a form of a conditional statement using "if" and "then" the if is the hypothesis and then is the conclusion.
If-then statement
The statement formed by switching the hypothesis and conclusion of a conditional statement.
converse
The negative of a statement

symbol: ~
negation
statement formed when negating the hypothesis and conclusion of a conditional statement
inverse
statement formed when you negate the hypothesis and conclusion of the converse of a conditional statement.
contropositive
two statements that are both true or both false.
equivalent statements
two lines that intersect to form a right angle

symbol:(upside down T)
perpendicular lines
a line that intersects the plane in a point and is perpendicular to ever line in the plane that it intersects it
line perpendcular to a plane
a statement that that contains the phrase "if and only if"

symbol: ‹―›
biconditional statement
an argument based on deductive reasoning, which use facts, definitions, and accepted properties in a logical order.
logical argument
if p―›q is a true conditional statement and p is true, then q is true
Law of Detachment
if p―›q and q―›r are true conditional statements, then p―›r is true
Law of Syllogism
a true statement that follows as a result of other true statements.
theorum
a type of proof written as numbered statements and reasons that show the logical order of an argument.
two-column proof