COM2107 Derived Rules

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

1/4

encourage image

There's no tags or description

Looks like no tags are added yet.

Last updated 3:51 PM on 6/1/26
Name
Mastery
Learn
Test
Matching
Spaced
Call with Kai

No analytics yet

Send a link to your students to track their progress

5 Terms

1
New cards

¬∀x.α becomes ?

∃x.¬α

2
New cards

α → β becomes ?

¬α ∨ β

3
New cards

¬α ∨ β becomes ?

α → β

4
New cards

¬α becomes ?

α → β

5
New cards

β becomes ?

α → β