P1.1.1 - Proof

0.0(0)
studied byStudied by 0 people
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/5

encourage image

There's no tags or description

Looks like no tags are added yet.

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

6 Terms

1
New cards

What is the meaning/name for ⇒

‘implies’ or logical consequence

2
New cards

What is the meaning/name for ⇔

‘if and only if (iff)’ or logical equivalence

3
New cards

What are the 4 main methods of proof?

  • Exhaustion

  • Deduction

  • Counter Example

  • Contradiction (Year 2)

4
New cards

What is proof by exhaustion?

Where you try every possibility to show the statement is true or untrue

5
New cards

What is proof by deduction?

Repetitive deduction using one first thing you know must be true.

6
New cards

What is proof by counter example?

Where you find at least 1 contradiction to a statement to disprove it.