OPTIMIZED LOGIC STUDY GUIDE (CH 2.2-3.4)

studied byStudied by 2 people
0.0(0)
learn
LearnA personalized and smart learning plan
exam
Practice TestTake a test on your terms and definitions
spaced repetition
Spaced RepetitionScientifically backed study method
heart puzzle
Matching GameHow quick can you match all your cards?
flashcards
FlashcardsStudy terms and definitions

1 / 44

encourage image

There's no tags or description

Looks like no one added any tags here yet for you.

45 Terms

1
Conditional (p→q)
False only when p is true and q is false.
New cards
2
Truth table for p→q
Only false in the row where p is true and q is false.
New cards
3
Vacuously true
Occurs when the hypothesis p is false.
New cards
4
Key equivalence of p→q
p→q is equivalent to ~p∨q.
New cards
5
Negation of p→q
~(p→q) is equivalent to p∧~q.
New cards
6
Contrapositive
~q→~p, which is equivalent to the original conditional.
New cards
7
Converse
q→p, which is not equivalent to the original conditional.
New cards
8
Inverse
~p→~q, which is not equivalent to the original conditional.
New cards
9
Meaning of 'p only if q'
Represents the conditional p→q.
New cards
10
Biconditional (p↔q)
Defined as (p→q)∧(q→p).
New cards
11
Necessary condition
Saying 'You can't have p without q' means p→q.
New cards
12
Sufficient condition
Saying 'q automatically gives you p' means q→p.
New cards
13
Modus Ponens
If p→q and p are true, then q must be true.
New cards
14
Modus Tollens
If p→q and ~q are true, then ~p must be true.
New cards
15
Transitivity
If p→q and q→r are true, then p→r must be true.
New cards
16
Elimination
If p∨q and ~p are true, then q must be true.
New cards
17
Division into Cases
If p∨q, p→r, and q→r are true, then r must be true.
New cards
18
Contradiction Rule
If ~p leads to a contradiction, then p must be true.
New cards
19
Converse Error
The fallacy where p→q and q leads to the invalid conclusion of p.
New cards
20
Inverse Error
The fallacy where p→q and ~p leads to the invalid conclusion of ~q.
New cards
21
Predicate P(x)
A statement that contains variables.
New cards
22
Truth set
The set of values that make the predicate P(x) true.
New cards
23
Universal quantifier (∀x)
Indicates 'for all x'.
New cards
24
Existential quantifier (∃x)
Indicates 'there exists at least one x'.
New cards
25
Universal statement form
∀x, P(x) or ∀x, if P(x) then Q(x).
New cards
26
Negation of universal statements
~(∀x, P(x)) is equivalent to ∃x, ~P(x).
New cards
27
Negation of existential statements
~(∃x, P(x)) is equivalent to ∀x, ~P(x).
New cards
28
Negating Universal Conditional
~(∀x, P(x)→Q(x)) is equivalent to ∃x, P(x)∧~Q(x).
New cards
29
Order of quantifiers
The order matters: ∀x, ∃y, P(x,y) is not the same as ∃y, ∀x, P(x,y).
New cards
30
Negating multiple quantifiers
~(∀x, ∃y, P(x,y)) is equivalent to ∃x, ∀y, ~P(x,y).
New cards
31
Universal Instantiation
If ∀x, P(x) is true, then P(a) is true for any specific a.
New cards
32
Universal Modus Ponens
If ∀x, P(x)→Q(x) and P(a) are true, then Q(a) must be true.
New cards
33
Universal Modus Tollens
If ∀x, P(x)→Q(x) and ~Q(a), then ~P(a) must be true.
New cards
34
Venn diagram for 'All A are B'
Represented as A circle inside the B circle.
New cards
35
Venn diagram for 'No A are B'
Represented as non-overlapping circles.
New cards
36
'→' Symbol
Represents a conditional statement (if-then).
New cards
37
'↔' Symbol
Represents a biconditional statement (if and only if).
New cards
38
'∧' Symbol
Represents conjunction (and).
New cards
39
'∨' Symbol
Represents disjunction (or).
New cards
40
'~' Symbol
Represents negation (not).
New cards
41
'∀' Symbol
Represents the universal quantifier.
New cards
42
'∃' Symbol
Represents the existential quantifier.
New cards
43
'∈' Symbol
Represents 'element of'.
New cards
44
'∴' Symbol
Represents 'therefore'.
New cards
45
Operation order for logical expressions
Negation (~), followed by conjunction (∧) and disjunction (∨), then conditional (→) and biconditional (↔).
New cards

Explore top notes

note Note
studied byStudied by 3 people
146 days ago
5.0(1)
note Note
studied byStudied by 8 people
674 days ago
5.0(1)
note Note
studied byStudied by 2599 people
305 days ago
5.0(11)
note Note
studied byStudied by 73 people
703 days ago
5.0(2)
note Note
studied byStudied by 29 people
777 days ago
5.0(3)
note Note
studied byStudied by 33 people
824 days ago
4.5(2)
note Note
studied byStudied by 20 people
730 days ago
5.0(1)
note Note
studied byStudied by 5 people
640 days ago
5.0(1)

Explore top flashcards

flashcards Flashcard (20)
studied byStudied by 9 people
759 days ago
5.0(4)
flashcards Flashcard (68)
studied byStudied by 44 people
366 days ago
5.0(1)
flashcards Flashcard (67)
studied byStudied by 3 people
735 days ago
5.0(1)
flashcards Flashcard (46)
studied byStudied by 4 people
823 days ago
5.0(1)
flashcards Flashcard (61)
studied byStudied by 5 people
399 days ago
5.0(1)
flashcards Flashcard (34)
studied byStudied by 33 people
153 days ago
5.0(1)
flashcards Flashcard (39)
studied byStudied by 2 people
89 days ago
5.0(1)
flashcards Flashcard (314)
studied byStudied by 1 person
43 minutes ago
5.0(1)
robot