mat 243, prop logic intro

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

1/8

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 6:48 PM on 9/14/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai
Chat

No analytics yet

Send a link to your students to track their progress

9 Terms

1
New cards

p is necessary for q

q implies p

2
New cards

p is sufficient for q

p implies q

3
New cards

p is necessary and sufficient for q

p biconditional q

4
New cards

p only if q

p implies q

5
New cards

p if q

q implies p

6
New cards

p unless q

not q implies p

7
New cards

converse of p implies q

q implies p

8
New cards

inverse of p implies q

not p implies not q

9
New cards

contrapositive of p implies q

not q implies not p