Home
Explore
Exams
Search for anything
Login
Get started
Home
OPTIMIZED LOGIC STUDY GUIDE (CH 2.2-3.4)
OPTIMIZED LOGIC STUDY GUIDE (CH 2.2-3.4)
0.0
(0)
Rate it
Studied by 2 people
View linked note
Learn
Practice Test
Spaced Repetition
Match
Flashcards
Card Sorting
1/44
There's no tags or description
Looks like no tags are added yet.
Study Analytics
All
Learn
Practice Test
Matching
Spaced Repetition
Name
Mastery
Learn
Test
Matching
Spaced
No study sessions yet.
45 Terms
View all (45)
Star these 45
1
New cards
Conditional (p→q)
False only when p is true and q is false.
2
New cards
Truth table for p→q
Only false in the row where p is true and q is false.
3
New cards
Vacuously true
Occurs when the hypothesis p is false.
4
New cards
Key equivalence of p→q
p→q is equivalent to ~p∨q.
5
New cards
Negation of p→q
~(p→q) is equivalent to p∧~q.
6
New cards
Contrapositive
~q→~p, which is equivalent to the original conditional.
7
New cards
Converse
q→p, which is not equivalent to the original conditional.
8
New cards
Inverse
~p→~q, which is not equivalent to the original conditional.
9
New cards
Meaning of 'p only if q'
Represents the conditional p→q.
10
New cards
Biconditional (p↔q)
Defined as (p→q)∧(q→p).
11
New cards
Necessary condition
Saying 'You can't have p without q' means p→q.
12
New cards
Sufficient condition
Saying 'q automatically gives you p' means q→p.
13
New cards
Modus Ponens
If p→q and p are true, then q must be true.
14
New cards
Modus Tollens
If p→q and ~q are true, then ~p must be true.
15
New cards
Transitivity
If p→q and q→r are true, then p→r must be true.
16
New cards
Elimination
If p∨q and ~p are true, then q must be true.
17
New cards
Division into Cases
If p∨q, p→r, and q→r are true, then r must be true.
18
New cards
Contradiction Rule
If ~p leads to a contradiction, then p must be true.
19
New cards
Converse Error
The fallacy where p→q and q leads to the invalid conclusion of p.
20
New cards
Inverse Error
The fallacy where p→q and ~p leads to the invalid conclusion of ~q.
21
New cards
Predicate P(x)
A statement that contains variables.
22
New cards
Truth set
The set of values that make the predicate P(x) true.
23
New cards
Universal quantifier (∀x)
Indicates 'for all x'.
24
New cards
Existential quantifier (∃x)
Indicates 'there exists at least one x'.
25
New cards
Universal statement form
∀x, P(x) or ∀x, if P(x) then Q(x).
26
New cards
Negation of universal statements
~(∀x, P(x)) is equivalent to ∃x, ~P(x).
27
New cards
Negation of existential statements
~(∃x, P(x)) is equivalent to ∀x, ~P(x).
28
New cards
Negating Universal Conditional
~(∀x, P(x)→Q(x)) is equivalent to ∃x, P(x)∧~Q(x).
29
New cards
Order of quantifiers
The order matters: ∀x, ∃y, P(x,y) is not the same as ∃y, ∀x, P(x,y).
30
New cards
Negating multiple quantifiers
~(∀x, ∃y, P(x,y)) is equivalent to ∃x, ∀y, ~P(x,y).
31
New cards
Universal Instantiation
If ∀x, P(x) is true, then P(a) is true for any specific a.
32
New cards
Universal Modus Ponens
If ∀x, P(x)→Q(x) and P(a) are true, then Q(a) must be true.
33
New cards
Universal Modus Tollens
If ∀x, P(x)→Q(x) and ~Q(a), then ~P(a) must be true.
34
New cards
Venn diagram for 'All A are B'
Represented as A circle inside the B circle.
35
New cards
Venn diagram for 'No A are B'
Represented as non-overlapping circles.
36
New cards
'→' Symbol
Represents a conditional statement (if-then).
37
New cards
'↔' Symbol
Represents a biconditional statement (if and only if).
38
New cards
'∧' Symbol
Represents conjunction (and).
39
New cards
'∨' Symbol
Represents disjunction (or).
40
New cards
'~' Symbol
Represents negation (not).
41
New cards
'∀' Symbol
Represents the universal quantifier.
42
New cards
'∃' Symbol
Represents the existential quantifier.
43
New cards
'∈' Symbol
Represents 'element of'.
44
New cards
'∴' Symbol
Represents 'therefore'.
45
New cards
Operation order for logical expressions
Negation (~), followed by conjunction (∧) and disjunction (∨), then conditional (→) and biconditional (↔).
Explore top notes
Chapter 2 - The Role of Prices
Updated 871d ago
Note
Preview
SUPPORT AND MOVEMENT
Updated 890d ago
Note
Preview
Personality 210 Notes (Part 8) Continuing the Discussion of Drives
Updated 1096d ago
Note
Preview
Kurso
Updated 174d ago
Note
Preview
Unit 4: Contextual Applications of Differentiation
Updated 793d ago
Note
Preview
Chapter Eleven: Eating Disorders
Updated 810d ago
Note
Preview
AP World 1.5 - State Building in Africa
Updated 686d ago
Note
Preview
IB Music - Ultimate Study Guide
Updated 183d ago
Note
Preview
Explore top flashcards
Quiz - Protestant Reformation
Updated 939d ago
Flashcards (30)
Preview
Econ - Unit 5 (LT:2)
Updated 551d ago
Flashcards (20)
Preview
Biological Psychology - Neuroanatomy
Updated 577d ago
Flashcards (47)
Preview
general iot
Updated 50d ago
Flashcards (198)
Preview
World War II Terms
Updated 801d ago
Flashcards (88)
Preview
Spanish 3-4 Idioms
Updated 970d ago
Flashcards (66)
Preview
Science Concept 2
Updated 581d ago
Flashcards (25)
Preview
Psychology AOS 1 - Chapter 2
Updated 1h ago
Flashcards (78)
Preview