155 Unit 2

0.0(0)
Studied by 0 people
call kaiCall Kai
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
GameKnowt Play
Card Sorting

1/10

encourage image

There's no tags or description

Looks like no tags are added yet.

11 Terms

1
New cards

DN: Double Negation

~~P ☰ P

2
New cards

Contra: Contraposition

(P → Q) ☰ (~Q → ~P)

3
New cards

DeM: De Morgan’s Rules

~(P · Q) ☰ (~P Ｖ ~Q)

~(P Ｖ Q) ☰ (~P · ~Q)

4
New cards

CD: Conditional-Disjunction Exchange

(P → Q) ☰ (~P Ｖ Q)

5
New cards

NC: Negated Conditional

~(P → Q) ☰ (P · ~Q)

6
New cards

NB: Negated Biconditional

~(P ←→ Q) ☰ (~P ←→ Q)

~(P ←→ Q) ☰ (P ←→ ~Q)

7
New cards

Red: Redundancy

n/a

8
New cards

Comm: Commutativity

(can switch order of “and", “or,” + “if and only if”)

9
New cards

Assoc: Associativity

Regroup parentheses around “and” + “or” without changing order

10
New cards

Dist: Distribution

((P · (QＶR)) ☰ ((P · Q) Ｖ (P · R))

((P Ｖ (Q ·R)) ☰ ((PＶQ) · (P Ｖ R))

11
New cards

Export: Exportation

knowt flashcard image