cse 260 exam 1
Diese Karteikarten lernenKostenlos · Spaced Repetition · iPhone, Android, Mac & Web
Alle Karten
1
Identity Laws
p∧T≡ p
p∨F≡ p
p∨F≡ p
2
prepositions
only true or false (not both)
3
p∧T≡ p
p∨F≡ p
Prepositions:
Prepositions:
4
Converse:
Only true or false (not both)
Converse:
5
Contrapositive:
q then p
Contrapositive:
6
Inverse:
¬q →¬p
Inverse:
7
Contingency:
¬p →¬q
Contingency:
8
Domination Laws:
Neither contradiction nor tautology
Domination Laws:
9
p∨T≡ p
p∧F≡ p
Idempotent:
Idempotent:
10
p∨p ≡ p
p∧p ≡ p
Commutative laws:
Commutative laws:
11
p∨q ≡ q ∨p
p∧q ≡ q ∧p
Distributive laws:
Distributive laws:
12
p∨(q ∧r)≡ (p∨q)∧(p∨r)
p∧(q ∨r)≡ (p∧q)∨(p∧r)
¬p:
¬p:
13
p∧q:
Not p
p∧q:
14
p∨q:
p and q
p∨q:
15
p → q:
p or q
p → q:
16
p⊕q:
If p then q. Only false when p is true and q is false. p implies q
p⊕q:
17
p ↔ q:
Exclusive or. True only when exactly one of p or q is true
p ↔ q:
18
Contradiction:
IFF. True when both have the same truth values
Contradiction:
19
Tautology:
Always false
Tautology:
20
Double Negation:
Always true
Double Negation:
21
Associative laws:
¬(¬p)≡ p
Associative laws:
22
(p∨q)∨r ≡ p∨(q ∨r)
(p∧q)∧r ≡ p∧(q ∧r)
De Morgan's laws:
De Morgan's laws:
23
¬(p∧q)≡¬p∨¬q
¬(p∨q)≡¬p∧¬q
Absorption laws:
Absorption laws:
24
p∨(p∧q)≡ p
p∧(p∨q)≡ p
Negation Laws:
Negation Laws:
25
p∨¬p ≡T
p∧¬p ≡F
Modus Ponens:
Modus Ponens:
26
Modus Tollens:
Assume p, p → q, therefore q (tautology)
Modus Tollens:
27
Hypothetical Syllogism:
¬q, p → q, therefore ¬p
Hypothetical Syllogism:
28
Disjunctive Syllogism:
p → q, q → r, therefore p → r
Disjunctive Syllogism:
29
Addition:
p∨q, ¬p, therefore q
Addition:
30
Simplification:
p, therefore p∨q
Simplification:
31
Conjunction:
p∧q, therefore p
Conjunction:
32
Resolution:
p, q, therefore p∧q
Resolution:
33
p∨q, ¬p∨r, therefore q ∨r
Mehr Karteikarten
3.1 Estaciones y RopaSpanischKeeganB-777 Additional LimitationsEnglischJoeHepatits CMedizin und Gesundheit · EnglischKatlynKEChapter 16 & 17 PharmMedizin und Gesundheit · EnglischMadiruth2Earth in BalanceNaturwissenschaften · EnglischAoibheText Expansion Macros: Titles and PhrasesEnglischdddSpanish Travel VocabularySprachen · Spanisch → EnglischSeñoraEnglish-Dutch Vocabulary and PhrasesSprachen · Englisch → NiederländischSophieVocabulario Inglés-EspañolSprachen · Englisch → SpanischJhonGEOG 463 Test 1 EnglischAlyssaTorts: Duty/Breach, Causation, Nonliability KahootsRecht und Politik · EnglischAriel C1.3 PhotosynthesisNaturwissenschaften · EnglischMicah
Lerne diese Decks in der App
Kostenlos auf iPhone, Android, Mac und im Web. Füge jedes Deck mit einem Tipp zu deinem Konto hinzu.
